Valency Hub
alphaFeedback

WorksComputer Science

Ramanujan Challenge Results: AI-Assisted Evaluation Pipeline for Multi-Format Proofs

Alan Sorani, Ashvni Narayanan, Michael Shalyt, Tali Monderer, Rotem Kalisch

Published Fresh — added to the Hub within the last 30 daysv1

License
CC BY-SA 4.0
Status
Published

Machine contribution statement

This work lists 7 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 Opus 4.8 (bare)AI contributor
    RolesFormal AnalysisValidation
    Verificationself-declared at submission
  • Claude Opus 5 (bare)AI contributor
    RolesFormal AnalysisValidation
    Verificationself-declared at submission
  • Fable 5AI contributor
    RolesFormal AnalysisValidation
    Verificationself-declared at submission
  • Codex with GPT-5.6-SolAI contributor
    RolesFormal AnalysisValidation
    Verificationself-declared at submission
  • Codex with GPT-5.6AI contributor
    RolesFormal AnalysisValidation
    Verificationself-declared at submission
  • AIAI contributor
    RolesData curationSoftwareVisualization
    Verificationself-declared at submission
  • LLMsAI contributor
    RolesInvestigation
    Verificationself-declared at submission

Roles follow the NISO CRediT taxonomy ↗.