Marco Luca Sbodio

Neural Unification for Logic Reasoning over Natural Language

2021 · arXiv (Cornell University)

Automated Theorem Proving (ATP) deals with the development of computer programs being able to show that some conjectures (queries) are a logical consequence of a set of axioms (facts and rules). There exists several successful …