Showing 2026Show all
2 papers · 1 filter
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
A Four-Valued Normative Intermediate Representation for ASP-Oriented Compliance Reasoning
Huanyu Yang, Yangfan Wu, Jianmin Ji
Technical-standard compliance reasoning may involve incomplete evidence, inconsistent observations, exceptions, and derived normative outputs. This paper presents \textsc{Monir}, a…