# Automated Theorem Proving   Edit

29 papers with code • 6 benchmarks • 5 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.

# Papers NeurIPS Guidelines

Paper Code Results Date Stars