---
title: "Who cites Certified Deductive Reasoning with Language Models"
description: "21 papers of the Elamur Research library cite «Certified Deductive Reasoning with Language Models», found in their bibliographies; the most…"
canonical: "https://research.elamur.ai/free/en/papers/poesia-2023-certified-deductive-reasoning-language-models/cited-by/"
---
[Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/papers/poesia-2023-certified-deductive-reasoning-language-models/cited-by/)

[home](https://md.research.elamur.ai/free/en/) / [papers](https://md.research.elamur.ai/free/en/papers/) / [Certified Deductive Reasoning with Language Models](https://md.research.elamur.ai/free/en/papers/poesia-2023-certified-deductive-reasoning-language-models/) / cited by

# Who cites «Certified Deductive Reasoning with Language Models»

21 papers of our library cite it (of the 149,439 whose bibliographies we read) · 9 with a page here, the most cited first · [← back to «Certified Deductive Reasoning with Language Models»](https://md.research.elamur.ai/free/en/papers/poesia-2023-certified-deductive-reasoning-language-models/)

1. **[Towards Reasoning Era: A Survey of Long Chain-of-Thought for Reasoning Large Language Models](https://md.research.elamur.ai/free/en/papers/chen-2025-towards-reasoning-era-survey-long/) [Science China Information Sciences](https://md.research.elamur.ai/free/en/venues/science-china-information-sciences/)**Qiguang Chen, Libo Qin, Jinhao Liu, et al.*2025 · 176 citations*
2. [**Quiet-STaR: Language models can teach themselves to think before speaking***2024 · 122 citations*](https://md.research.elamur.ai/free/en/papers/al-2024-quiet-star-language-models-teach/)
3. **[MuSR: Testing the Limits of Chain-of-thought with Multistep Soft Reasoning](https://md.research.elamur.ai/free/en/papers/sprague-2023-musr-testing-limits-chain-thought/) [International Conference on Learning Representations (ICLR)](https://md.research.elamur.ai/free/en/venues/international-conference-on-learning-representations-iclr/)**Zayne Sprague, Xi Ye, Kaj Bostrom, et al.*2023 · 74 citations*
4. [**Formal Mathematical Reasoning: A New Frontier in AI arXiv:2412.16075**Kaiyu Yang, Gabriel Poesia, Jingxuan He, et al.*2024 · 49 citations*](https://md.research.elamur.ai/free/en/papers/yang-2024-formal-mathematical-reasoning-new-frontier/)
5. [**STaR-GATE: Teaching Language Models to Ask Clarifying Questions arXiv:2403.19154**Chinmaya Andukuri, Jan-Philipp Fränken, Tobias Gerstenberg, et al.*2024 · 43 citations*](https://md.research.elamur.ai/free/en/papers/andukuri-2024-star-gate-teaching-language-models/)
6. [**A Survey of Frontiers in LLM Reasoning: Inference Scaling, Learning to Reason, and Agentic Systems arXiv:2504.09037**Zixuan Ke, Fangkai Jiao, Yifei Ming, et al.*2025 · 39 citations*](https://md.research.elamur.ai/free/en/papers/ke-2025-survey-frontiers-llm-reasoning-inference/)
7. [**Functional Benchmarks for Robust Evaluation of Reasoning Performance, and the Reasoning Gap arXiv:2402.19450**Saurabh Srivastava, Annarose M B, Anto P, et al.*2024 · 35 citations*](https://md.research.elamur.ai/free/en/papers/srivastava-2024-functional-benchmarks-robust-evaluation-reasoning/)
8. [**BoxingGym: Benchmarking Progress in Automated Experimental Design and Model Discovery arXiv:2501.01540**Kanishk Gandhi, Michael Y. Li, Lyle Goodyear, et al.*2025 · 4 citations*](https://md.research.elamur.ai/free/en/papers/gandhi-2025-boxinggym-benchmarking-progress-automated/)
9. [**Computational models of pragmatic reasoning with flexible generation of meaning and expression alternatives arXiv:2607.18443**Polina Tsvilodub, Fausto Carcassi, Michael Franke*2026*](https://md.research.elamur.ai/free/en/papers/tsvilodub-2026-computational-models-pragmatic-reasoning-flexible/)

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

- [← back to](https://md.research.elamur.ai/free/en/papers/poesia-2023-certified-deductive-reasoning-language-models/) — Certified Deductive Reasoning with Language Models