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
