Beyond Correctness: Benchmarking Multi-dimensional Code Generation for Large Language Models Paper • 2407.11470 • Published Jul 16, 2024
Dafny as Verification-Aware Intermediate Language for Code Generation Paper • 2501.06283 • Published Jan 10, 2025
Investigating Autonomous Agent Contributions in the Wild: Activity Patterns and Code Change over Time Paper • 2604.00917 • Published Apr 1 • 18
