alphaFeedback

WorksComputer Science

Making Every Edit Count: Efficient Binary Edit Correction at the Gilbert-Varshamov Bound

License
arXiv nonexclusive license
Status
Published

Machine contribution statement

This work lists 1 machine contributor.

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

  • ChatGPT-6 AstraAI contributor
    RolesFormal Analysis
    Verificationself-declared at submission

Roles follow the NISO CRediT taxonomy ↗.