---
title: "Who cites Premise Selection in Natural — 23 citing papers"
description: "23 papers of the Elamur Research library cite «Premise Selection in Natural Language Mathematical Texts», found in their bibliographies; the…"
canonical: "https://research.elamur.ai/free/en/papers/ferreira-2020-premise-selection-natural-language-mathematical/cited-by/"
---
[Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/papers/ferreira-2020-premise-selection-natural-language-mathematical/cited-by/)

[home](https://md.research.elamur.ai/free/en/) / [papers](https://md.research.elamur.ai/free/en/papers/) / [Premise Selection in Natural Language…](https://md.research.elamur.ai/free/en/papers/ferreira-2020-premise-selection-natural-language-mathematical/) / cited by

# Who cites «Premise Selection in Natural Language Mathematical Texts»

23 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 «Premise Selection in Natural Language Mathematical Texts»](https://md.research.elamur.ai/free/en/papers/ferreira-2020-premise-selection-natural-language-mathematical/)

1. **[LeanDojo: Theorem Proving with Retrieval-Augmented Language Models](https://md.research.elamur.ai/free/en/papers/yang-2023-leandojo-theorem-proving-retrieval-augmented/) [Conference on Neural Information Processing Systems (NeurIPS)](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/)**Kaiyu Yang, Aidan M. Swope, Alex Gu, et al.*2023 · 253 citations*
2. [**NaturalProofs: Mathematical Theorem Proving in Natural Language arXiv:2104.01112**Sean Welleck, Jiacheng Liu, Ronan Le Bras, et al.*2021 · 76 citations*](https://md.research.elamur.ai/free/en/papers/welleck-2021-naturalproofs-mathematical-theorem-proving-natural/)
3. **[NaturalProver: Grounded Mathematical Proof Generation with Language Models](https://md.research.elamur.ai/free/en/papers/welleck-2022-naturalprover-grounded-mathematical-proof-generation/) [Conference on Neural Information Processing Systems (NeurIPS)](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/)**Sean Welleck, Jiacheng Liu, Ximing Lu, et al.*2022 · 62 citations*
4. **[Improving Chain-of-Thought Reasoning via Quasi-Symbolic Abstractions](https://md.research.elamur.ai/free/en/papers/ranaldi-2025-improving-chain-thought-reasoning-quasi/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Leonardo Ranaldi, Marco Valentino, Andre Freitas*2025 · 42 citations*
5. **[CoMAT: Chain of Mathematically Annotated Thought Improves Mathematical Reasoning](https://md.research.elamur.ai/free/en/papers/leang-2025-comat-chain-mathematically-annotated-thought/) [Conference on Empirical Methods in Natural Language Processing (EMNLP)](https://md.research.elamur.ai/free/en/venues/emnlp/)**Joshua Ong Jun Leang, Aryo Pradipta Gema, Shay B. Cohen*2025 · 14 citations*
6. **[Do Natural Language Explanations Represent Valid Logical Arguments? Verifying Entailment in Explainable NLI Gold Standards](https://md.research.elamur.ai/free/en/papers/valentino-2021-do-natural-language-explanations-represent/) [International Conference on Computational Semantics](https://md.research.elamur.ai/free/en/venues/iwcs/)**Marco Valentino, Ian Pratt-Hartmann, André Freitas*2021 · 11 citations*

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

- [← back to](https://md.research.elamur.ai/free/en/papers/ferreira-2020-premise-selection-natural-language-mathematical/) — Premise Selection in Natural Language Mathematical Texts