🔗 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»

1. Towards Reasoning Era: A Survey of Long Chain-of-Thought for Reasoning Large Language ModelsScience China Information SciencesQiguang Chen, Libo Qin, Jinhao Liu, et al.2025 · 176 citations
2. Quiet-STaR: Language models can teach themselves to think before speaking2024 · 122 citations
3. MuSR: Testing the Limits of Chain-of-thought with Multistep Soft ReasoningInternational Conference on Learning Representations (ICLR)Zayne Sprague, Xi Ye, Kaj Bostrom, et al.2023 · 74 citations
4. Formal Mathematical Reasoning: A New Frontier in AIarXiv:2412.16075Kaiyu Yang, Gabriel Poesia, Jingxuan He, et al.2024 · 49 citations
5. STaR-GATE: Teaching Language Models to Ask Clarifying QuestionsarXiv:2403.19154Chinmaya Andukuri, Jan-Philipp Fränken, Tobias Gerstenberg, et al.2024 · 43 citations
6. A Survey of Frontiers in LLM Reasoning: Inference Scaling, Learning to Reason, and Agentic SystemsarXiv:2504.09037Zixuan Ke, Fangkai Jiao, Yifei Ming, et al.2025 · 39 citations
7. Functional Benchmarks for Robust Evaluation of Reasoning Performance, and the Reasoning GaparXiv:2402.19450Saurabh Srivastava, Annarose M B, Anto P, et al.2024 · 35 citations
8. BoxingGym: Benchmarking Progress in Automated Experimental Design and Model DiscoveryarXiv:2501.01540Kanishk Gandhi, Michael Y. Li, Lyle Goodyear, et al.2025 · 4 citations
9. Computational models of pragmatic reasoning with flexible generation of meaning and expression alternativesarXiv:2607.18443Polina Tsvilodub, Fausto Carcassi, Michael Franke2026

12 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/poesia-2023-certified-deductive-reasoning-language-models/cited-by/