Proof Graphs
material
ID: proofgraphs
Related Papers
PRover: Proof Generation for Interpretable Reasoning over Rules
AbstractRecent work by Clark et al. (2020) shows that transformers can act as “soft theorem provers” by answering questions over explicitly provided knowledge in natural language. In our work, we …...