---
title: "Who cites MaLARea: a Metasystem for — 6 citing papers"
description: "6 papers of the Elamur Research library cite «MaLARea: a Metasystem for Automated Reasoning in Large Theories», found in their…"
canonical: "https://research.elamur.ai/free/en/papers/urban-2007-malarea-metasystem-automated-reasoning-large/cited-by/"
---
[Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/papers/urban-2007-malarea-metasystem-automated-reasoning-large/cited-by/)

[home](https://md.research.elamur.ai/free/en/) / [papers](https://md.research.elamur.ai/free/en/papers/) / [MaLARea: a Metasystem for Automated Reasoning in…](https://md.research.elamur.ai/free/en/papers/urban-2007-malarea-metasystem-automated-reasoning-large/) / cited by

# 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»](https://md.research.elamur.ai/free/en/papers/urban-2007-malarea-metasystem-automated-reasoning-large/)

1. **[MizAR 40 for Mizar 40](https://md.research.elamur.ai/free/en/papers/kaliszyk-2013-mizar-40-mizar-40/) [Journal of Automated Reasoning](https://md.research.elamur.ai/free/en/venues/journal-of-automated-reasoning/)**Cezary Kaliszyk, Josef Urban*2013 · 112 citations*
2. [**Thor: Wielding Hammers to Integrate Language Models and Automated Theorem Provers arXiv:2205.10893**Albert Q. Jiang, Wenda Li, Szymon Tworkowski, et al.*2022 · 79 citations*](https://md.research.elamur.ai/free/en/papers/jiang-2022-thor-wielding-hammers-integrate-language/)
3. **[TacticToe: Learning to Prove with Tactics](https://md.research.elamur.ai/free/en/papers/gauthier-2018-tactictoe-learning-prove-tactics/) [Journal of Automated Reasoning](https://md.research.elamur.ai/free/en/venues/journal-of-automated-reasoning/)**Thibault Gauthier, Cezary Kaliszyk, Josef Urban, et al.*2018 · 57 citations*
4. [**INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving arXiv:2007.02924**Yuhuai Wu, Albert Qiaochu Jiang, Jimmy Ba, et al.*2020 · 41 citations*](https://md.research.elamur.ai/free/en/papers/wu-2020-int-inequality-benchmark-evaluating-generalization/)
5. [**Teaching Temporal Logics to Neural Networks arXiv:2003.04218**Christopher Hahn, Frederik Schmitt, Jens U. Kreber, et al.*2020 · 24 citations*](https://md.research.elamur.ai/free/en/papers/hahn-2020-teaching-temporal-logics-neural-networks/)
6. **[Towards Finding Longer Proofs](https://md.research.elamur.ai/free/en/papers/zombori-2019-finding-longer-proofs/) [Lecture notes in computer science](https://md.research.elamur.ai/free/en/venues/lecture-notes-in-computer-science/)**Zsolt Zombori, Adrián Csiszárik, Henryk Michalewski, et al.*2019 · 21 citations*
- [← back to](https://md.research.elamur.ai/free/en/papers/urban-2007-malarea-metasystem-automated-reasoning-large/) — MaLARea: a Metasystem for Automated Reasoning in Large Theories