Sign in

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

Swarnadeep SahaPrateek YadavMohit 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