EL
Elyasheev Leibtag
math.NTmath.GRcs.AIcs.SCmath.HOcs.CLmath.COmath.OAmath.RA
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
8 papers in the corpus · 2022–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
Selflessness, MIF and opposition in groups acting on exotic buildings2609.17129v1 · Corentin Le Bars, Elyasheev Leibtag, Itamar Vigdorovich2026 · 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
Semi-group compactifications of Algebraic Groups2404.09878v2 · Elyasheev Leibtag2024 · 0 citationsarXiv
Homomorphic images of algebraic groups2212.03055v2 · Uri Bader, Elyasheev Leibtag2022 · 4 citationsarXiv
Career total: 10 works. 8 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.