Automated Theorem Proving
قائمة المعايير القياسية
جميع المعايير القياسية المتعلقة بهذه المهمة
compcert
أفضل نموذج: Proverbot9001
المقاييس
عرض التفاصيل
coqgym
أفضل نموذج: ASTactic
المقاييس
عرض التفاصيل
holstep-conditional
أفضل نموذج: MPNN-DagLSTM
المقاييس
عرض التفاصيل
holstep-unconditional
أفضل نموذج: FormulaNet
المقاييس
عرض التفاصيل
minif2f-test
أفضل نموذج: ProofAug
المقاييس
عرض التفاصيل
minif2f-valid
أفضل نموذج: LEGO-Prover ChatGPT
المقاييس
عرض التفاصيل
holist-benchmark
المقاييس
عرض التفاصيل
metamath-set-mm
المقاييس
عرض التفاصيل
minif2f-curriculum
المقاييس
عرض التفاصيل