MS
Michael Shalyt
math.NTcs.AIcs.SCcs.CLmath.HOAI for sciencecomputer-assisted discoverycontinued fractionscs.DCcs.LG
On Valency
published · living versionsW_kk6drhmm·v1 · currentpublished
Ramanujan Challenge Results: AI-Assisted Evaluation Pipeline for Multi-Format Proofs
with Alan Sorani, Ashvni Narayanan, Tali Monderer, Rotem Kalisch +6
1 version
Preprints & journals
9 papers in the corpus · 2023–2026New Directions in Irrationality2610.27799v1 · Elyasheev Leibtag, Hila Barkan, Rotem Kalisch et al.2026 · 0 citationsarXiv
An Infinite Family of Apéry-like Recurrences for Euler's Constant2610.13919v1 · Rotem Kalisch, Tali Monderer, Elyasheev Leibtag et al.2026 · 0 citationsarXiv
Can AI Follow In Einstein's Footsteps?2607.27794v1 · Michael Shalyt, Nathan Regev, Marin Soljaci'c et al.2026 · 0 citationsarXiv
The Ramanujan Challenge For AI2607.09721v1 · Michael Shalyt, Rotem Kalisch, Carsten Schneider et al.2026 · 0 citationsarXiv
On Conservative Matrix Fields: Continuous Asymptotics and Arithmetic2507.08138v2 · Shachar Weinbaum, Elyasheev Leibtag, Rotem Kalisch et al.2025 · 1 citationarXiv
ASyMOB: Algebraic Symbolic Mathematical Operations Benchmark2505.23851v3 · Michael Shalyt, Rotem Elimelech, Ido Kaminer2025 · 0 citationsarXiv
From Euler to AI: Unifying Formulas for Mathematical Constants2502.17533v4 · Tomer Raz, Michael Shalyt, Elyasheev Leibtag et al.2025 · 0 citationsarXiv
Unsupervised Discovery of Formulas for Mathematical Constants2412.16818v1 · Michael Shalyt, Uri Seligmann, Itay Beit Halachmi et al.2024 · 0 citationsAdvances in Neural Information Processing Systems 37 (NeurIPS 2024) https://proceedings.neurips.cc/paper_files/paper/2024/file/cd8b5de90ebfd6df2b703d2346370cba-Paper-Conference.pdf
Algorithm-assisted discovery of an intrinsic order among mathematical constants.38875143 · Elimelech, Rotem, David, Ofir, De la Cruz Mengual, Carlos et al.2024 · 2 citationsProceedings of the National Academy of Sciences of the United States of America. 2024;121(25):e2321440121
Career total: 11 works. 9 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.