Code Compilation on 31 Rust CVE snippets
90.3Compilation Rate4-Agent (Ours)
Evaluation Results
| Method | Links | |
|---|---|---|
| 4-Agent (Ours)Type=LLM+KLEE2026.04 | 90.3 | |
| Single-AgentType=LLM+KLEE2026.04 | 58 | |
| Kani 0.67.0Type=Formal verif.2026.04 | 0 | |
| Prusti 2023-08-22Type=Formal verif.2026.04 | 0 | |
| CreusotType=Formal verif.2026.04 | 0 | |
| Haybale 0.7Type=Symbolic exec.2026.04 | 0 |