← Automated Theorem Proving
평가 기록
과거 수집 기록이며 최신 순위가 아닙니다. 데이터셋 버전·split·실험 조건과 지표 방향이 검증되지 않은 결과는 직접 비교할 수 없습니다. 날짜는 논문 날짜이며 최신 평가일을 뜻하지 않습니다.
표가 화면보다 넓으면 좌우로 스크롤하여 논문과 구현 링크를 확인하세요.
| 모델 | 원본 지표·값 | 논문 | 구현 |
|---|---|---|---|
| GPT-f |
|
Generative Language Modeling for Automated Theorem Proving 2020-09-07 |
연결 없음 |
| MetaGen-IL + Holophrasm |
|
Learning to Prove Theorems by Learning to Generate Theorems 2020-02-17 |
코드 1 · 코드 2 |
| Holophrasm |
|
Holophrasm: a neural Automated Theorem Prover for higher-order logic 2016-08-08 |
코드 1 · 코드 2 · 코드 3 · 코드 4 |
| Evariste |
|
HyperTree Proof Search for Neural Theorem Proving 2022-05-23 |
연결 없음 |