edm-research/PROBE-bucket
3.49 GB
Emi
edm-research
·
AI & ML interests
None yet
Recent Activity
liked a dataset 10 days ago
AetherPrior/js_cwe_GRPO liked a model 15 days ago
Qwen/Qwen3.8-Flash-Next liked a model about 2 months ago
poolside/Laguna-S-2.1-NVFP4Organizations
None yet
-
Beyond Correctness: Benchmarking Multi-dimensional Code Generation for Large Language Models
Paper • 2407.11470 • Published -
Aanimated/HMCorp
Viewer • Updated • 817k • 12 -
Dafny as Verification-Aware Intermediate Language for Code Generation
Paper • 2501.06283 • Published -
Investigating Autonomous Agent Contributions in the Wild: Activity Patterns and Code Change over Time
Paper • 2604.00917 • Published • 18
-
Beyond Correctness: Benchmarking Multi-dimensional Code Generation for Large Language Models
Paper • 2407.11470 • Published -
Aanimated/HMCorp
Viewer • Updated • 817k • 12 -
Dafny as Verification-Aware Intermediate Language for Code Generation
Paper • 2501.06283 • Published -
Investigating Autonomous Agent Contributions in the Wild: Activity Patterns and Code Change over Time
Paper • 2604.00917 • Published • 18
datasets 0
None public yet