@misc{indiciaeed2cde33d594,
  title = {Ramanujan Challenge Results: AI-Assisted Evaluation Pipeline for Multi-Format Proofs},
  author = {Alan Sorani and Ashvni Narayanan and Michael Shalyt and Tali Monderer and Rotem Kalisch and Hila Barkan and Elyasheev Leibtag and Shachar Weinbaum and Carsten Schneider and John Campbell and Ido Kaminer},
  year = {2026},
  url = {https://arxiv.org/abs/2610.40551},
  note = {Source identifier: 2610.40551}
}