Valency Hub
alphaFeedback

WorksComputer Science

Breach: An Interactive Adversarial Agent for Bounded Mathematical Claim Falsification

Soumalya Saha

Published Fresh — published within the last 30 daysv1

License
CC BY 4.0
Status
Published

Machine contribution statement

This work lists 4 machine contributors.

Machine contributors are recorded on the work, not on a single version. Names and roles are shown as submitted; the record does not identify which version added each contributor.

Declared contributors

  • Claude chatAI contributor
    RolesConceptualizationData curationMethodologySoftwareWriting — original draftWriting — review & editing
    Verificationself-declared at submission
  • OpenCodeAI contributor
    RolesConceptualizationValidation
    Verificationself-declared at submission
  • Gemini CLIAI contributor
    RolesConceptualization
    Verificationself-declared at submission
  • Kimi K2 (bare)AI contributor
    RolesFormal AnalysisInvestigationSoftwareVisualization
    Verificationself-declared at submission

Roles follow the NISO CRediT taxonomy ↗.