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

Formal Theorem Proving on Isar n-ary tree consensus Individual Lemmas and Average

100Success Rate

IsabeLLM

Updated 1mo ago

Evaluation Results

Method
IsabeLLM 2026.06	100	1
IsabeLLM 2026.06	100	1
IsabeLLM 2026.06	100	1
IsabeLLM 2026.06	100	1
IsabeLLM 2026.06	100	1
IsabeLLM 2026.06	100	1
IsabeLLM-RAG 2026.06	100	1
IsabeLLM-RAG 2026.06	100	1
IsabeLLM-RAG 2026.06	100	1
IsabeLLM-RAG 2026.06	100	1
IsabeLLM-RAG 2026.06	100	1
IsabeLLM-RAG 2026.06	100	1
IsabeLLM-RAG 2026.06	100	1
IsabeLLM-RAG 2026.06	100	1
IsabeLLM-RAG 2026.06	100	1
IsabeLLM-RAG 2026.06	100	1
IsabeLLM-RAG 2026.06	100	1
IsabeLLM-RAG 2026.06	100	1
IsabeLLM-RAG 2026.06	100	1
IsabeLLM-RAG 2026.06	100	1
IsabeLLM-RAG 2026.06	100	1
IsabeLLM-RAG 2026.06	100	1
IsabeLLM-RAG 2026.06	100	1
IsabeLLM-RAG 2026.06	100	1
IsabeLLM-RAG 2026.06	100	1
IsabeLLM-RAG 2026.06	100	1
IsabeLLM-RAG 2026.06	100	1.2
IsabeLLM-RAG 2026.06	100	1.5
IsabeLLM-RAG 2026.06	100	2.5
IsabeLLM-RAG 2026.06	100	1
IsabeLLM-RAG 2026.06	100	1
IsabeLLM-RAG 2026.06	100	1
IsabeLLM-RAG 2026.06	100	1
IsabeLLM-RAG 2026.06	100	1
IsabeLLM-RAG 2026.06	100	1
IsabeLLM-RAG 2026.06	100	1
IsabeLLM-RAG 2026.06	94.4	1.06
IsabeLLM 2026.06	90	1.4
IsabeLLM 2026.06	90	1.2
IsabeLLM-RAG 2026.06	90	1.1
IsabeLLM-RAG 2026.06	90	1.1
IsabeLLM-RAG 2026.06	87.5	1.15
IsabeLLM 2026.06	80	1.7
IsabeLLM-RAG 2026.06	80	1.1
IsabeLLM-RAG 2026.06	80	1.1
IsabeLLM-RAG 2026.06	80	1.1
IsabeLLM 2026.06	76.3	1.31
IsabeLLM 2026.06	70	1.1
IsabeLLM 2026.06	70	1
IsabeLLM-RAG 2026.06	70	1.4
IsabeLLM-RAG 2026.06	70	2
IsabeLLM-RAG 2026.06	67.5	1.44
IsabeLLM 2026.06	60	1.5
IsabeLLM 2026.06	60	2
IsabeLLM-RAG 2026.06	60	2
IsabeLLM 2026.06	50	2
IsabeLLM 2026.06	50	1.8
IsabeLLM-RAG 2026.06	50	1.2
IsabeLLM-RAG 2026.06	50	1.4
IsabeLLM-RAG 2026.06	50	1.2
IsabeLLM-RAG 2026.06	50	1.1
IsabeLLM-RAG 2026.06	40	1
IsabeLLM-RAG 2026.06	40	1
IsabeLLM-RAG 2026.06	40	2
IsabeLLM-RAG 2026.06	30	3
IsabeLLM-RAG 2026.06	20	2
IsabeLLM 2026.06	0	-
IsabeLLM-RAG 2026.06	0	-