WorksComputer Science

Breach: An Interactive Adversarial Agent for Bounded Mathematical Claim Falsification

Published Nov 03, 2026Fresh — published within the last 30 daysv1

Publication details

AI contributions

Ancillary data

Formal proof, 1 code link, 2 data links

Versions

Every version keeps its own PDF, citation, and review record — endorsements are bound to the version they examined and never carry forward silently.

v1CURRENT

Nov 03, 2026

PUBLISHED

Published elsewhere