1 paper · 1 filter
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…