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
評価指標
詳細を表示