HB
Hila Barkan
math.NTcs.AImath.HO
On Valency
published · living versionsW_kk6drhmm·v1 · currentpublished
Ramanujan Challenge Results: AI-Assisted Evaluation Pipeline for Multi-Format Proofs
with Alan Sorani, Ashvni Narayanan, Michael Shalyt, Tali Monderer +6
1 version
Preprints & journals
2 papers in the corpus · 2026New Directions in Irrationality2610.27799v1 · Elyasheev Leibtag, Hila Barkan, Rotem Kalisch et al.2026 · 0 citationsarXiv
The Ramanujan Challenge For AI2607.09721v1 · Michael Shalyt, Rotem Kalisch, Carsten Schneider et al.2026 · 0 citationsarXiv
Career total: 4 works. 2 are in this corpus.
Profile built from the corpus for this byline.
Author records are still filling in while the Hub is in alpha. If this is your page, you'll be able to claim it soon. Spot a mistake? Tell us.