Formal Proof Generation on Blockchain Consensus Verification Lemmas (test)
10Successful Attempts
IsabeLLM
Updated 1mo ago
Evaluation Results
| Method | Links | |||
|---|---|---|---|---|
2026.01 | 10 | 1 | 15 | |
2026.01 | 10 | 1 | 23 | |
2026.01 | 10 | 1 | 18 | |
2026.01 | 10 | 1 | 15 | |
2026.01 | 10 | 1 | 1 | |
2026.01 | 10 | 1 | 5 | |
2026.01 | 9 | 1.4 | 23 | |
2026.01 | 9 | 1.2 | 36 | |
2026.01 | 8 | 1.7 | 32 | |
2026.01 | 7 | 1.1 | 28 | |
2026.01 | 7 | 1 | 17 | |
2026.01 | 6 | 1.5 | 38 | |
2026.01 | 6 | 2 | 36 | |
2026.01 | 5 | 2 | 37 | |
2026.01 | 5 | 1.8 | 41 | |
2026.01 | 3 | 2 | 30 |