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
Versions

Every version keeps its own PDF, citation, and review record — endorsements are bound to the version they examined and never carry forward silently.

v1CURRENT
Nov 02, 2026
PUBLISHED
read this version