🔗 Who cites «End-to-End Differentiable Proving»

75 papers of our library cite it (of the 149,439 whose bibliographies we read) · 19 with a page here, the most cited first · ← back to «End-to-End Differentiable Proving»

1. FEVER: a Large-scale Dataset for Fact Extraction and VERificationConference of the North American Chapter of the Association for Computational Linguistics (NAACL)James Thorne, Andreas Vlachos, Christos Christodoulopoulos, et al.2018 · 2,221 citations
2. Knowledge GraphsACM Computing SurveysAidan Hogan, Eva Blomqvist, Michael Cochez, et al.2020 · 2,014 citations
3. RotatE: Knowledge Graph Embedding by Relational Rotation in Complex SpacearXiv:1902.10197Zhiqing Sun, Zhi-Hong Deng, Jian-Yun Nie, et al.2019 · 1,073 citations
4. TabFact: A Large-scale Dataset for Table-based Fact VerificationarXiv:1909.02164Wenhu Chen, Hongmin Wang, Jianshu Chen, et al.2019 · 515 citations
5. ProofWriter: Generating Implications, Proofs, and Abductive Statements over Natural LanguageFindings of the Association for Computational LinguisticsOyvind Tafjord, Bhavana Dalvi, Peter Clark2021 · 335 citations
6. Logic Tensor NetworksArtificial IntelligenceSamy Badreddine, Artur d'Avila Garcez, Luciano Serafini, et al.2020 · 276 citations
7. Language Models Are Greedy Reasoners: A Systematic Formal Analysis of Chain-of-ThoughtarXiv:2210.01240Abulhair Saparov, He He2022 · 244 citations
8. DeepProbLog: Neural Probabilistic Logic ProgrammingarXiv:1805.10872Robin Manhaeve, Sebastijan Dumančić, Angelika Kimmig, et al.2018 · 172 citations
9. A Survey of Machine Learning for Big Code and NaturalnessACM Computing SurveysMiltiadis Allamanis, Earl T. Barr, Premkumar Devanbu, et al.2017 · 167 citations
10. GamePad: A Learning Environment for Theorem ProvingarXiv:1806.00608Daniel Huang, Prafulla Dhariwal, Dawn Song, et al.2018 · 94 citations
11. Learning to Prove Theorems via Interacting with Proof AssistantsarXiv:1905.09381Kaiyu Yang, Jia Deng2019 · 90 citations
12. Complex Query Answering with Neural Link PredictorsarXiv:2011.03459Erik Arakelyan, Daniel Daza, Pasquale Minervini, et al.2020 · 61 citations
13. INT: An Inequality Benchmark for Evaluating Generalization in Theorem ProvingarXiv:2007.02924Yuhuai Wu, Albert Qiaochu Jiang, Jimmy Ba, et al.2020 · 41 citations
14. TILP: Differentiable Learning of Temporal Logical Rules on Knowledge GraphsarXiv:2402.12309Siheng Xiong, Yuan Yang, Faramarz Fekri, et al.2024 · 25 citations
15. TacticZero: Learning to Prove Theorems from Scratch with Deep Reinforcement LearningarXiv:2102.09756Minchao Wu, Michael Norrish, Christian Walder, et al.2021 · 24 citations
16. Certified Deductive Reasoning with Language ModelsarXiv:2306.04031Gabriel Poesia, Kanishk Gandhi, Eric Zelikman, et al.2023 · 23 citations
17. Neurosymbolic AI: The 3rd WavearXiv:2012.05876Artur d'Avila Garcez, Luis C. Lamb2020 · 20 citations
18. Learning Iterative Reasoning through Energy DiffusionarXiv:2406.11179Yilun Du, Jiayuan Mao, Joshua B. Tenenbaum2024 · 11 citations
19. From Statistical Relational to Neurosymbolic Artificial Intelligence: a SurveyarXiv:2108.11451Giuseppe Marra, Sebastijan Dumančić, Robin Manhaeve, et al.2021 · 3 citations

56 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/rocktaschel-2017-end-end-differentiable-proving/cited-by/