🔗 Who cites «MaLARea: a Metasystem for Automated Reasoning in Large Theories»

6 papers of our library cite it (of the 149,439 whose bibliographies we read) · 6 with a page here, the most cited first · ← back to «MaLARea: a Metasystem for Automated Reasoning in Large Theories»

1. MizAR 40 for Mizar 40Journal of Automated ReasoningCezary Kaliszyk, Josef Urban2013 · 112 citations
2. Thor: Wielding Hammers to Integrate Language Models and Automated Theorem ProversarXiv:2205.10893Albert Q. Jiang, Wenda Li, Szymon Tworkowski, et al.2022 · 79 citations
3. TacticToe: Learning to Prove with TacticsJournal of Automated ReasoningThibault Gauthier, Cezary Kaliszyk, Josef Urban, et al.2018 · 57 citations
4. INT: An Inequality Benchmark for Evaluating Generalization in Theorem ProvingarXiv:2007.02924Yuhuai Wu, Albert Qiaochu Jiang, Jimmy Ba, et al.2020 · 41 citations
5. Teaching Temporal Logics to Neural NetworksarXiv:2003.04218Christopher Hahn, Frederik Schmitt, Jens U. Kreber, et al.2020 · 24 citations
6. Towards Finding Longer ProofsLecture notes in computer scienceZsolt Zombori, Adrián Csiszárik, Henryk Michalewski, et al.2019 · 21 citations

This page in Markdown → https://md.research.elamur.ai/free/en/papers/urban-2007-malarea-metasystem-automated-reasoning-large/cited-by/