--- title: "Who cites Large Language Models Can — 13 citing papers" description: "13 papers of the Elamur Research library cite «Large Language Models Can Solve Real-World Planning Rigorously with Formal Verification…" canonical: "https://research.elamur.ai/free/en/papers/hao-2025-large-language-models-can-solve/cited-by/" --- [Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/papers/hao-2025-large-language-models-can-solve/cited-by/) [home](https://md.research.elamur.ai/free/en/) / [papers](https://md.research.elamur.ai/free/en/papers/) / [Large Language Models Can Solve Real-World…](https://md.research.elamur.ai/free/en/papers/hao-2025-large-language-models-can-solve/) / cited by # Who cites «Large Language Models Can Solve Real-World Planning Rigorously with Formal Verification Tools» 13 papers of our library cite it (of the 149,439 whose bibliographies we read) · 2 with a page here, the most cited first · [← back to «Large Language Models Can Solve Real-World Planning Rigorously with Formal Verification Tools»](https://md.research.elamur.ai/free/en/papers/hao-2025-large-language-models-can-solve/) 1. **[Verification-Aware Planning for Multi-Agent Systems](https://md.research.elamur.ai/free/en/papers/xu-2026-verification-aware-planning-multi-agent/) [Conference of the European Chapter of the Association for Computational Linguistics (EACL)](https://md.research.elamur.ai/free/en/venues/eacl/)**Tianyang Xu, Dan Zhang, Kushan Mitra, et al.*2026 · 1 citation* 2. **[CARL: Constraint-Aware Reinforcement Learning for Planning with LLMs](https://md.research.elamur.ai/free/en/papers/qi-2026-carl-constraint-aware-reinforcement-learning/) [Findings of the Association for Computational Linguistics](https://md.research.elamur.ai/free/en/venues/findings/)**Qiuyi Qi, Jinjian Zhang, Mutian Bao, et al.*2026* 11 more papers of our library cite it; they have no page here yet. - [← back to](https://md.research.elamur.ai/free/en/papers/hao-2025-large-language-models-can-solve/) — Large Language Models Can Solve Real-World Planning Rigorously with Formal Verification Tools