🔗 Who cites «PRover: Proof Generation for Interpretable Reasoning over Rules»

54 papers of our library cite it (of the 141,840 whose bibliographies we read) · 3 with a page here, the most cited first · ← back to «PRover: Proof Generation for Interpretable Reasoning over Rules»

ProofWriter: Generating Implications, Proofs, and Abductive Statements over Natural LanguageFindings of the Association for Computational LinguisticsOyvind Tafjord, Bhavana Dalvi, Peter Clark2021 · 331 citations
Explaining Answers with Entailment TreesConference on Empirical Methods in Natural Language Processing (EMNLP)Bhavana Dalvi, Peter Jansen, Oyvind Tafjord, et al.2021 · 207 citations
Automatically Correcting Large Language Models: Surveying the Landscape of Diverse Automated Correction StrategiesTransactions of the Association for Computational Linguistics (TACL)Liangming Pan, Michael Saxon, Wenda Xu, et al.2024 · 140 citations

51 more papers of our library cite it; they have no page here yet.

This page in Markdown → https://md.research.elamur.ai/free/en/papers/saha-2020-prover-proof-generation-interpretable-reasoning/cited-by/