38 citations · 84 across the 8 of their papers we have counts for
Showing 2026Show all
3 papers · 1 filter
cs.SE2026
From Verification Failures to Reusable Guidance for Coding Agents
Yuqing Zhai, Xiaohong Chen, Lingming Zhang +2
Coding agents need to establish that a program satisfies a specification and that the specification captures the requested behavior. We study how expert diagnosis of verification f…
cs.LO2026
Completeness and incompleteness of basic matching logic
Xiaohong Chen, Grigore Rosu
Basic matching logic is matching logic without definedness. Symbols are interpreted as set-valued operations, element variables denote singletons and are bound by , and no…
cs.LO2026
Circular Induction
Dorel Lucanu, Grigore Rosu, Eugen Goriac +1
The Circularity Principle was successfully applied for developing a coinductive proving technique, known as circular coinduction. In this paper, we show that the same principle can…