Verus Proof Synthesis Leaderboard
Tracking progress in LLM-based formal verification for Rust. Compare proof synthesis systems on algorithm-level and repository-level verification tasks.
-
Total Tasks
-
Submissions
-
Best Score
-
Last Updated
VeruSAGE-Bench Official
849 repository-level verification tasks from real-world systems projects
| Rank | System | % Solved | Solved | Avg Time | Avg Cost | Status | Links |
|---|---|---|---|---|---|---|---|
| Loading leaderboard data... | |||||||