🌮 TACoDafny Leaderboard 🏆
Toward Automated, Contamination-free Dafny Benchmark Generation
📊 Overall Rankings
All Models
Proprietary
Open Weights
Rank
Model
verify@k (k=20)
Easy
Medium
Hard
Type
📈 Performance vs Attempts (k)
📊 Performance by Difficulty
Last updated: