Search Results for author:
Found 1 papers, 0 papers with code
Learning Guided Automated Reasoning: A Brief Survey
Automated theorem provers and formal proof assistants are general reasoning systems that are in theory capable of proving arbitrarily hard theorems, thus solving arbitrary problems reducible to mathematics and logical reasoning.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
