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
평가 지표
세부 정보 보기