← Automated Theorem Proving

Papers with Code · CC BY-SA 4.0

miniF2F-valid

아카이브 평가 10건 · 마지막 적재/변경 2026-10-30

원본 데이터셋 링크 1

평가 기록

과거 수집 기록이며 최신 순위가 아닙니다. 데이터셋 버전·split·실험 조건과 지표 방향이 검증되지 않은 결과는 직접 비교할 수 없습니다. 날짜는 논문 날짜이며 최신 평가일을 뜻하지 않습니다.

표가 화면보다 넓으면 좌우로 스크롤하여 논문과 구현 링크를 확인하세요.

원본 기록 순서 · 순위 미부여
모델	원본 지표·값	논문	구현
Lean GPT-f	Pass@8 29.3 Pass@1 23.9	MiniF2F: a cross-system benchmark for formal Olympiad-level mathematics 2021-08-31	코드 1 · 코드 2 · 코드 3 · 코드 4
Metamath GPT-f	Pass@8 2 Pass@1 1	MiniF2F: a cross-system benchmark for formal Olympiad-level mathematics 2021-08-31	코드 1 · 코드 2 · 코드 3 · 코드 4
Evariste	Pass@64 58.6	HyperTree Proof Search for Neural Theorem Proving 2022-05-23	연결 없음
Evariste-7d	Pass@64 47.5	HyperTree Proof Search for Neural Theorem Proving 2022-05-23	연결 없음
GPT-f	Pass@64 47.3	HyperTree Proof Search for Neural Theorem Proving 2022-05-23	연결 없음
Evariste-1d	Pass@64 46.7	HyperTree Proof Search for Neural Theorem Proving 2022-05-23	연결 없음
Lean tidy	Pass@1 16.8	MiniF2F: a cross-system benchmark for formal Olympiad-level mathematics 2021-08-31	코드 1 · 코드 2 · 코드 3 · 코드 4
LEGO-Prover ChatGPT	Pass@100 57.0	LEGO-Prover: Neural Theorem Proving with Growing Libraries 2023-10-01	코드 1
Lyra + GPT-4	Pass@100 52.0	Lyra: Orchestrating Dual Correction in Automated Theorem Proving 2023-09-27	코드 1
DSP (62B Minerva informal)	Pass@100 43.9	Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs 2022-10-21	코드 1 · 코드 2 · 코드 3