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

1. Verification-Aware Planning for Multi-Agent SystemsConference of the European Chapter of the Association for Computational Linguistics (EACL)Tianyang Xu, Dan Zhang, Kushan Mitra, et al.2026 · 1 citation
2. CARL: Constraint-Aware Reinforcement Learning for Planning with LLMsFindings of the Association for Computational LinguisticsQiuyi Qi, Jinjian Zhang, Mutian Bao, et al.2026

11 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/hao-2025-large-language-models-can-solve/cited-by/