reasoning-13
Automated Theorem Proving
3260 papers • 126 benchmarks • 313 datasets
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. Source: Learning to Prove Theorems by Learning to Generate Theorems
(Image credit: Papersgraph)
Benchmarks
These leaderboards are used to track progress in automated-theorem-proving-41
Trend
Dataset
Best Model
Actions
miniF2F-test
miniF2F-test
miniF2F-valid
miniF2F-valid
HolStep (Conditional)
Libraries
iUse these libraries to find automated-theorem-proving-41 models and implementations
2 papers 6,434
Datasets
Subtasks
No subtasks available.
