3 papers
cs.SE2026
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…
cs.AI2026
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…
cs.AI2025
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…