Picture for Stefan Zetzsche

Stefan Zetzsche

CLEVER: A Curated Benchmark for Formally Verified Code Generation

Add code
May 21, 2025
Viaarxiv icon

Dafny as Verification-Aware Intermediate Language for Code Generation

Add code
Jan 10, 2025
Figure 1 for Dafny as Verification-Aware Intermediate Language for Code Generation
Figure 2 for Dafny as Verification-Aware Intermediate Language for Code Generation
Figure 3 for Dafny as Verification-Aware Intermediate Language for Code Generation
Figure 4 for Dafny as Verification-Aware Intermediate Language for Code Generation
Viaarxiv icon