--- title: "Who cites SatLM: Satisfiability-Aided — 49 citing papers" description: "49 papers of the Elamur Research library cite «SatLM: Satisfiability-Aided Language Models Using Declarative Prompting», found in their…" canonical: "https://research.elamur.ai/free/en/papers/ye-2023-satlm-satisfiability-aided-language-models/cited-by/" --- [Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/papers/ye-2023-satlm-satisfiability-aided-language-models/cited-by/) [home](https://md.research.elamur.ai/free/en/) / [papers](https://md.research.elamur.ai/free/en/papers/) / [SatLM: Satisfiability-Aided Language Models Using…](https://md.research.elamur.ai/free/en/papers/ye-2023-satlm-satisfiability-aided-language-models/) / cited by # Who cites «SatLM: Satisfiability-Aided Language Models Using Declarative Prompting» 49 papers of our library cite it (of the 149,439 whose bibliographies we read) · 10 with a page here, the most cited first · [← back to «SatLM: Satisfiability-Aided Language Models Using Declarative Prompting»](https://md.research.elamur.ai/free/en/papers/ye-2023-satlm-satisfiability-aided-language-models/) 1. **[LINC: A Neurosymbolic Approach for Logical Reasoning by Combining Language Models with First-Order Logic Provers](https://md.research.elamur.ai/free/en/papers/olausson-2023-linc-neurosymbolic-approach-logical-reasoning/) [Conference on Empirical Methods in Natural Language Processing (EMNLP)](https://md.research.elamur.ai/free/en/venues/emnlp/)**Theo X. Olausson, Alex Gu, Benjamin Lipkin, et al.*2023 · 172 citations* 2. [**Navigate through Enigmatic Labyrinth A Survey of Chain of Thought Reasoning: Advances, Frontiers and Future arXiv:2309.15402**Zheng Chu, Jingchang Chen, Qianglong Chen, et al.*2023 · 125 citations*](https://md.research.elamur.ai/free/en/papers/chu-2023-navigate-through-enigmatic-labyrinth-survey/) 3. **[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* 4. **[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* 5. **[Adaptive LLM-Symbolic Reasoning via Dynamic Logical Solver Composition](https://md.research.elamur.ai/free/en/papers/xu-2026-adaptive-llm-symbolic-reasoning-dynamic/) [Conference of the European Chapter of the Association for Computational Linguistics (EACL)](https://md.research.elamur.ai/free/en/venues/eacl/)**Lei Xu, Pierre Beckmann, Marco Valentino, et al.*2026 · 2 citations* 6. **[From Natural Language to Certified Geometry Proofs: A Survey of LLM-Augmented Verification and Neuro-Symbolic Theorem Proving](https://md.research.elamur.ai/free/en/papers/tzachristas-2026-natural-language-certified-geometry-proofs/) [Big Picture v2: Crafting a Research Narrative](https://md.research.elamur.ai/free/en/venues/bigpicture/)**Ioannis Tzachristas, Georgios Tzachristas*2026* 7. **[Improving Chain-of-Thought for Logical Reasoning via Attention-Aware Intervention](https://md.research.elamur.ai/free/en/papers/nguyen-2026-improving-chain-thought-logical-reasoning/) [Findings of the Association for Computational Linguistics](https://md.research.elamur.ai/free/en/venues/findings/)**Phuong Minh Nguyen, Dang Huu-Tien, Naoya Inoue*2026* 8. **[NSF-CoT: Neuro-Symbolic Formal Verification of Chain-of-Thought Faithfulness in Contextual Question Answering](https://md.research.elamur.ai/free/en/papers/pramanik-2026-nsf-cot-neuro-symbolic-formal/) [Findings of the Association for Computational Linguistics](https://md.research.elamur.ai/free/en/venues/findings/)**Vishal Pramanik, Maisha Maliha, Nathaniel D. Bastian, et al.*2026* 9. **[PrefRAG: Correcting Semantic Errors in Auto-Formalization for Logical Reasoning with Program Preference RAG](https://md.research.elamur.ai/free/en/papers/zhou-2026-prefrag-correcting-semantic-errors-auto/) [Findings of the Association for Computational Linguistics](https://md.research.elamur.ai/free/en/venues/findings/)**Yuyin Zhou, Yongmei Liu*2026* 10. **[STCOR: A Trilevel Syllogism-Driven Reasoning Framework](https://md.research.elamur.ai/free/en/papers/yang-2026-stcor-trilevel-syllogism-driven-reasoning/) [Workshop on Argument Mining](https://md.research.elamur.ai/free/en/venues/argmining/)**Keying Yang, Hao Wang, Chengtao Jian, et al.*2026* 39 more papers of our library cite it; they have no page here yet. - [← back to](https://md.research.elamur.ai/free/en/papers/ye-2023-satlm-satisfiability-aided-language-models/) — SatLM: Satisfiability-Aided Language Models Using Declarative Prompting