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
评估指标
查看详情