2 citations · 2 across the 10 of their papers we have counts for
Showing cs.AIShow all
2 papers · 1 filter
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…
cs.AI2025
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…