Showing cs.AIShow all
2 papers · 1 filter
cs.AI2026
Iterative Formalization and Planning in Partially Observable Environments
Liancheng Gong, Wang Zhu, Jesse Thomason +1
Using LLMs not to predict plans but to formalize an environment into the Planning Domain Definition Language (PDDL) has been shown to improve performance and control. While most ex…
cs.AI2026
Scaling Medical Reasoning Verification via Tool-Integrated Reinforcement Learning
Hang Zhang, Ruheng Wang, Yuelyu Ji +7
Large language models have achieved strong performance on medical reasoning benchmarks, yet their deployment in clinical settings demands rigorous verification to ensure factual ac…