TY  - RPRT
TI  - Ramanujan Challenge Results: AI-Assisted Evaluation Pipeline for Multi-Format Proofs
AU  - Alan Sorani
AU  - Ashvni Narayanan
AU  - Michael Shalyt
AU  - Tali Monderer
AU  - Rotem Kalisch
AU  - Hila Barkan
AU  - Elyasheev Leibtag
AU  - Shachar Weinbaum
AU  - Carsten Schneider
AU  - John Campbell
AU  - Ido Kaminer
PY  - 2026
UR  - https://arxiv.org/abs/2610.40551
ID  - 2610.40551
ER  -