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

1. 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
2. SemEval-2026 Task 11: Disentangling Content and Formal Reasoning in Large Language ModelsInternational Workshop on Semantic Evaluation (SemEval)Marco Valentino, Leonardo Ranaldi, Giulia Pucci, et al.2026 · 22 citations
3. 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
4. Theorem Prover as a Judge for Synthetic Data GenerationAnnual Meeting of the Association for Computational Linguistics (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 ModelsFindings of the Association for Computational LinguisticsRizky Ramadhana Putra, Raihan Sultan Pasha Basuki, Yutong Cheng, et al.2026 · 3 citations
6. 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
7. Towards Controllable Natural Language Inference through Lexical Inference TypesarXiv:2308.03581Yingji Zhang, Danilo S. Carvalho, Ian Pratt-Hartmann, et al.2023 · 2 citations
8. GIL-Zaragoza at SemEval 2026 Task 11: Comparing Classification, Autoformalization, and Ontologies for Formal Reasoning CapabilitiesInternational Workshop on Semantic Evaluation (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 OptimizationInternational Workshop on Semantic Evaluation (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 LLMsInternational Workshop on Semantic Evaluation (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 ReasoningInternational Workshop on Semantic Evaluation (SemEval)Lakksh Sharma, Krish Sharma, Jatin Bedi2026 · 1 citation
12. YNU-NLP at SemEval-2026 Task 11: A Neuro-Symbolic Approach with Reflexion Mechanism Disentangling Content and Formal Reasoning in Language ModelsInternational Workshop on Semantic Evaluation (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 LeanAnnual Meeting of the Association for Computational Linguistics (ACL)Jordan Meadows, Lan Zhang, Andre Freitas2026
14. Thesis Proposal: Intentional Inference for Insight GenerationAnnual Meeting of the Association for Computational Linguistics (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 TasksInternational Workshop on Semantic Evaluation (SemEval)Rongchuan Luo, Jin Wang, Xuejie Zhang2026

24 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/quan-2024-verification-refinement-natural-language-explanations/cited-by/