← Automated Theorem Proving
평가 기록
과거 수집 기록이며 최신 순위가 아닙니다. 데이터셋 버전·split·실험 조건과 지표 방향이 검증되지 않은 결과는 직접 비교할 수 없습니다. 날짜는 논문 날짜이며 최신 평가일을 뜻하지 않습니다.
표가 화면보다 넓으면 좌우로 스크롤하여 논문과 구현 링크를 확인하세요.
| 모델 | 원본 지표·값 | 논문 | 구현 |
|---|---|---|---|
| FormulaNet |
|
Premise Selection for Theorem Proving by Deep Graph Embedding 2017-09-28 |
코드 1 |
| FormulaNet-basic |
|
Premise Selection for Theorem Proving by Deep Graph Embedding 2017-09-28 |
코드 1 |
| 1D CNN |
|
HolStep: A Machine Learning Dataset for Higher-order Logic Theorem Proving 2017-03-01 |
코드 1 |
| 1D CNN-LSTM |
|
HolStep: A Machine Learning Dataset for Higher-order Logic Theorem Proving 2017-03-01 |
코드 1 |