--- title: "Who cites Verification and Refinement of — 39 citing papers" description: "39 papers of the Elamur Research library cite «Verification and Refinement of Natural Language Explanations through LLM-Symbolic…" canonical: "https://research.elamur.ai/free/en/papers/quan-2024-verification-refinement-natural-language-explanations/cited-by/" --- [Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/papers/quan-2024-verification-refinement-natural-language-explanations/cited-by/) [home](https://md.research.elamur.ai/free/en/) / [papers](https://md.research.elamur.ai/free/en/papers/) / [Verification and Refinement of Natural Language…](https://md.research.elamur.ai/free/en/papers/quan-2024-verification-refinement-natural-language-explanations/) / cited by # Who cites «Verification and Refinement of Natural Language Explanations through LLM-Symbolic Theorem Proving» 39 papers of our library cite it (of the 149,439 whose bibliographies we read) · 15 with a page here, the most cited first · [← back to «Verification and Refinement of Natural Language Explanations through LLM-Symbolic Theorem Proving»](https://md.research.elamur.ai/free/en/papers/quan-2024-verification-refinement-natural-language-explanations/) 1. **[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* 2. **[SemEval-2026 Task 11: Disentangling Content and Formal Reasoning in Large Language Models](https://md.research.elamur.ai/free/en/papers/valentino-2026-semeval-2026-task-11-disentangling/) [International Workshop on Semantic Evaluation (SemEval)](https://md.research.elamur.ai/free/en/venues/semeval/)**Marco Valentino, Leonardo Ranaldi, Giulia Pucci, et al.*2026 · 22 citations* 3. **[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* 4. **[Theorem Prover as a Judge for Synthetic Data Generation](https://md.research.elamur.ai/free/en/papers/leang-2025-theorem-prover-as-judge-synthetic/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Joshua Ong Jun Leang, Giwon Hong, Wenda Li, et al.*2025 · 9 citations* 5. **[NL2Logic: AST-Guided Translation of Natural Language into First-Order Logic with Large Language Models](https://md.research.elamur.ai/free/en/papers/putra-2026-nl2logic-ast-guided-translation-natural/) [Findings of the Association for Computational Linguistics](https://md.research.elamur.ai/free/en/venues/findings/)**Rizky Ramadhana Putra, Raihan Sultan Pasha Basuki, Yutong Cheng, et al.*2026 · 3 citations* 6. **[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* 7. [**Towards Controllable Natural Language Inference through Lexical Inference Types arXiv:2308.03581**Yingji Zhang, Danilo S. Carvalho, Ian Pratt-Hartmann, et al.*2023 · 2 citations*](https://md.research.elamur.ai/free/en/papers/zhang-2023-towards-controllable-natural-language-inference/) 8. **[GIL-Zaragoza at SemEval 2026 Task 11: Comparing Classification, Autoformalization, and Ontologies for Formal Reasoning Capabilities](https://md.research.elamur.ai/free/en/papers/ponce-2026-gil-zaragoza-semeval-2026-task/) [International Workshop on Semantic Evaluation (SemEval)](https://md.research.elamur.ai/free/en/venues/semeval/)**Francisco Lopez-Ponce, Lucia Pitarch, Iván Saavedra Martínez, et al.*2026 · 1 citation* 9. **[HABIB_TAZ at SemEval-2026 Task 11: Disentangling Formal Logic from Content via Synthetic Training and Multi-Objective Optimization](https://md.research.elamur.ai/free/en/papers/shaikh-2026-habib-taz-semeval-2026-task/) [International Workshop on Semantic Evaluation (SemEval)](https://md.research.elamur.ai/free/en/venues/semeval/)**Abdullah Shaikh, Zain Naqi, Taha Zahid, et al.*2026 · 1 citation* 10. **[ITLC at SemEval-2026 Task 11: Normalization and Deterministic Parsing for Formal Reasoning in LLMs](https://md.research.elamur.ai/free/en/papers/muhamad-2026-itlc-semeval-2026-task-11/) [International Workshop on Semantic Evaluation (SemEval)](https://md.research.elamur.ai/free/en/venues/semeval/)**Wicaksono Leksono Muhamad, Joanito Agili Lopo, Tack Hwa Wong, et al.*2026 · 1 citation* 11. **[Lakksh at SemEval-2026 Task 11(1 & 2): Neuro-Symbolic Decomposition to Mitigate Content Bias in Syllogistic Reasoning](https://md.research.elamur.ai/free/en/papers/sharma-2026-lakksh-semeval-2026-task-11/) [International Workshop on Semantic Evaluation (SemEval)](https://md.research.elamur.ai/free/en/venues/semeval/)**Lakksh Sharma, Krish Sharma, Jatin Bedi*2026 · 1 citation* 12. **[YNU-NLP at SemEval-2026 Task 11: A Neuro-Symbolic Approach with Reflexion Mechanism Disentangling Content and Formal Reasoning in Language Models](https://md.research.elamur.ai/free/en/papers/wang-2026-ynu-nlp-semeval-2026-task/) [International Workshop on Semantic Evaluation (SemEval)](https://md.research.elamur.ai/free/en/venues/semeval/)**Yu Wang, You Zhang, Hao Zhang, et al.*2026 · 1 citation* 13. **[FormalScience: Scalable Human-in-the-Loop Autoformalisation of Science with Agentic Code Generation in Lean](https://md.research.elamur.ai/free/en/papers/meadows-2026-formalscience-scalable-human-loop-autoformalisation/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Jordan Meadows, Lan Zhang, Andre Freitas*2026* 14. **[Thesis Proposal: Intentional Inference for Insight Generation](https://md.research.elamur.ai/free/en/papers/onderkova-2026-thesis-proposal-intentional-inference-insight/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Kristýna Onderková*2026* 15. **[YNU-HPCC at SemEval-2026 Task 11: Mitigating Content Effects in Syllogistic Reasoning with Qwen2-1.5B-Instruct and XLM-RoBERTa-Large for English and Multilingual TasksMultilingual Tasks](https://md.research.elamur.ai/free/en/papers/luo-2026-ynu-hpcc-semeval-2026-task/) [International Workshop on Semantic Evaluation (SemEval)](https://md.research.elamur.ai/free/en/venues/semeval/)**Rongchuan Luo, Jin Wang, Xuejie Zhang*2026* 24 more papers of our library cite it; they have no page here yet. - [← back to](https://md.research.elamur.ai/free/en/papers/quan-2024-verification-refinement-natural-language-explanations/) — Verification and Refinement of Natural Language Explanations through LLM-Symbolic Theorem Proving