Pass@32: 72.4
Papers with Code · CC BY-SA 4.0
Automated Theorem Proving
The goal of Automated Theorem Proving is to automatically generate a proof, given a conjecture (the target theorem) and a knowledge base of known facts, all expressed in a formal language. Automated Theorem Proving is useful in a wide range of applications, including the verification and synthesis of software and hardware systems.
<span class="description-source">Source: Learning to Prove Theorems by Learning to Generate Theorems </span>
개요는 각 항목의 일부입니다. 위 탭에서 전체 기록을 페이지별로 탐색할 수 있습니다.
벤치마크
Papers with Code 아카이브의 데이터셋별 기록 예시입니다. 평가 조건과 지표 방향이 검증되지 않아 순위를 의미하지 않습니다.
Dataset기록된 모델 예시MetricPaperCode
데이터셋
9개논문
Classification Accuracy: 0.83
Pass@8: 29.3Pass@1: 23.9
Classification Accuracy: 0.900
Percentage correct: 56.2
Percentage correct: 14.3
Percentage correct: 22.1
라이브러리
Papers with Code 리더보드 row에 연결된 구현 저장소입니다.