multiPRover: Generating Multiple Proofs for Improved Interpretability in Rule Reasoning.

Swarnadeep Saha Prateek Yadav Mohit Bansal

Published in: NAACL-HLT (2021)

Keyphrases

production rules
analogical reasoning
improved algorithm
knowledge base
knowledge representation
theorem proving
machine learning
search engine
information systems
rule base
rule discovery
reasoning systems