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

1. LINC: A Neurosymbolic Approach for Logical Reasoning by Combining Language Models with First-Order Logic ProversConference on Empirical Methods in Natural Language Processing (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 FuturearXiv:2309.15402Zheng Chu, Jingchang Chen, Qianglong Chen, et al.2023 · 125 citations
3. Improving Chain-of-Thought Reasoning via Quasi-Symbolic AbstractionsAnnual Meeting of the Association for Computational Linguistics (ACL)Leonardo Ranaldi, Marco Valentino, Andre Freitas2025 · 42 citations
4. CoMAT: Chain of Mathematically Annotated Thought Improves Mathematical ReasoningConference on Empirical Methods in Natural Language Processing (EMNLP)Joshua Ong Jun Leang, Aryo Pradipta Gema, Shay B. Cohen2025 · 14 citations
5. Adaptive LLM-Symbolic Reasoning via Dynamic Logical Solver CompositionConference of the European Chapter of the Association for Computational Linguistics (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 ProvingBig Picture v2: Crafting a Research NarrativeIoannis Tzachristas, Georgios Tzachristas2026
7. Improving Chain-of-Thought for Logical Reasoning via Attention-Aware InterventionFindings of the Association for Computational LinguisticsPhuong Minh Nguyen, Dang Huu-Tien, Naoya Inoue2026
8. NSF-CoT: Neuro-Symbolic Formal Verification of Chain-of-Thought Faithfulness in Contextual Question AnsweringFindings of the Association for Computational LinguisticsVishal Pramanik, Maisha Maliha, Nathaniel D. Bastian, et al.2026
9. PrefRAG: Correcting Semantic Errors in Auto-Formalization for Logical Reasoning with Program Preference RAGFindings of the Association for Computational LinguisticsYuyin Zhou, Yongmei Liu2026
10. STCOR: A Trilevel Syllogism-Driven Reasoning FrameworkWorkshop on Argument MiningKeying Yang, Hao Wang, Chengtao Jian, et al.2026

39 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/ye-2023-satlm-satisfiability-aided-language-models/cited-by/