Share your thoughts, 1 month free Claude Pro on usSee more
WorkDL logo mark

Formal Proof Generation on Blockchain Consensus Verification Lemmas (test)

10Successful Attempts

IsabeLLM

2.724.616.58.39Jan 12, 2026
Updated 1mo ago

Evaluation Results

MethodLinks
2026.01
10115
2026.01
10123
2026.01
10118
2026.01
10115
2026.01
1011
2026.01
1015
2026.01
91.423
2026.01
91.236
2026.01
81.732
2026.01
71.128
2026.01
7117
2026.01
61.538
2026.01
6236
2026.01
5237
2026.01
51.841
2026.01
3230