← Automated Theorem Proving
평가 기록
과거 수집 기록이며 최신 순위가 아닙니다. 데이터셋 버전·split·실험 조건과 지표 방향이 검증되지 않은 결과는 직접 비교할 수 없습니다. 날짜는 논문 날짜이며 최신 평가일을 뜻하지 않습니다.
표가 화면보다 넓으면 좌우로 스크롤하여 논문과 구현 링크를 확인하세요.
| 모델 | 원본 지표·값 | 논문 | 구현 |
|---|---|---|---|
| 4-hop GNN, sub-expression sharing |
|
Graph Representations for Higher-Order Logic and Theorem Proving 2019-05-24 |
연결 없음 |
| Tactic Dependent Loop |
|
HOList: An Environment for Machine Learning of Higher-Order Theorem Proving 2019-04-05 |
코드 1 · 코드 2 · 코드 3 |
| BoW2 (extra -ves) |
|
Learning to Reason in Large Theories without Imitation 2019-05-25 |
연결 없음 |
| Deeper Wider WaveNet |
|
HOList: An Environment for Machine Learning of Higher-Order Theorem Proving 2019-04-05 |
코드 1 · 코드 2 · 코드 3 |