2 papers
cs.AI2026
A First Proof Sprint
Joseph Corneli
This monograph reports a multi-agent proof sprint on ten research-level problems, combining rapid draft generation with adversarial verification, targeted repair, and explicit prov…
cs.HC2026
Patterns for a New Generation: AI and Agents
Joseph Corneli, Charles J. Danoff, Raymond S. Puzio +5
Design patterns have been used in various fields of inquiry and endeavour to externalize procedural knowledge in a form that supports human reasoning and coordination. In this pape…