Swarnadeep Saha, Prateek Yadav, and Mohit
Bansal. 2021. multiPRover: Generating mul-
tiple proofs for improved interpretability in
rule reasoning. In Proceedings of the 2021
Conference of
the North American Chap-
the Association for Computational
ter of
Linguistics: Human Language Technologies,
pages 3662–3677, Online. Association for
Computational Linguistics.
ProoFVer- Natural Logic Theorem Proving for Fact Verification