4 papers
SpecPath: Testing Coding Agents Across Contract-Equivalent Specification Histories
Yangfan Wu, Haozhe Wang, Huanyu Yang +2
Modern coding agents increasingly appear capable of following complex software requirements, yet their success leaves a critical ambiguity: do they resolve the active specification…
Diminution: On Reducing the Size of Grounding ASP Programs
HuanYu Yang, Fengming Zhu, YangFan Wu +1
Answer Set Programming (ASP) is often hindered by the grounding bottleneck: large Herbrand universes generate ground programs so large that solving becomes difficult. Many methods…
LDP: A Local Diffusion Planner for Efficient Robot Navigation and Collision Avoidance
Wenhao Yu, Jie Peng, Huanyu Yang +4
The conditional diffusion model has been demonstrated as an efficient tool for learning robot policies, owing to its advancement to accurately model the conditional distribution of…
CLMASP: Coupling Large Language Models with Answer Set Programming for Robotic Task Planning
Xinrui Lin, Yangfan Wu, Huanyu Yang +3
Large Language Models (LLMs) possess extensive foundational knowledge and moderate reasoning abilities, making them suitable for general task planning in open-world scenarios. Howe…