Valency Hub
alphaFeedback
PDF

WorksComputer Science

Breach: An Interactive Adversarial Agent for Bounded Mathematical Claim Falsification

Soumalya Saha

Published Fresh — published within the last 30 daysv1

Publication details
License
CC BY 4.0
Views
3
Status
Published
AI contributions
  • Claude chat
  • OpenCode
  • Gemini CLI
  • Kimi K2 · bare
View details
Ancillary data
Formal proof, 1 code link, 2 data links
View
Machine checks

No machine checks are available from the Hub API for this paper.