Valency Hub
alphaFeedback
PDF

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

Publication details
License
CC BY-SA 4.0
Status
Published
AI contributions
  • Claude Opus 4.8 · bare
  • Claude Opus 5 · bare
  • Fable 5
  • Codex with GPT-5.6-Sol
  • Codex with GPT-5.6
  • AI
  • LLMs
View details
Machine checks

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