RK
Rotem Kalisch
math.NTcs.AIcs.SCmath.HOAI for sciencecomputer-assisted discoverycontinued fractionscs.CLcs.DCmath.CO
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
6 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
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
From Euler to AI: Unifying Formulas for Mathematical Constants2502.17533v4 · Tomer Raz, Michael Shalyt, Elyasheev Leibtag et al.2025 · 0 citationsarXiv
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: 8 works. 6 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.