1 citations · 1 across the 4 of their papers we have counts for
7 papers
Ramanujan Challenge Results: AI-Assisted Evaluation Pipeline for Multi-Format Proofs
Alan Sorani, Ashvni Narayanan, Michael Shalyt +8
As AI's mathematical capabilities rapidly improve, meaningful benchmarks are shifting from university-level problems and math olympiads to research-level mathematics. The Ramanujan…
Selflessness, MIF and opposition in groups acting on exotic buildings
Corentin Le Bars, Elyasheev Leibtag, Itamar Vigdorovich
We prove that groups acting freely and cocompactly on (possibly exotic) affine buildings of type and are mixed-identity free and have selfless reduced $C…
The Ramanujan Challenge For AI
Michael Shalyt, Rotem Kalisch, Carsten Schneider +7
To help evaluate the mathematical skills of current AI systems, we present a set of formulas for fundamental mathematical constants. These problems are attractive for AI evaluation…
On Conservative Matrix Fields: Continuous Asymptotics and Arithmetic
Shachar Weinbaum, Elyasheev Leibtag, Rotem Kalisch +2
We present the Conservative Matrix Field (CMF) as a tool for the analysis and computation of D-finite functions. We use conservative matrix fields to establish asymptotic propertie…
From Euler to AI: Unifying Formulas for Mathematical Constants
Tomer Raz, Michael Shalyt, Elyasheev Leibtag +4
The constant has fascinated scholars throughout the centuries, inspiring numerous formulas for its evaluation, such as infinite sums and continued fractions. Despite their indi…
Semi-group compactifications of Algebraic Groups
Elyasheev Leibtag
We show that for connected affine algebraic groups over local fields of characteristic zero, the following are equivalent: every continuous homomorphism into a Hausdorff topologica…
Homomorphic images of algebraic groups
Uri Bader, Elyasheev Leibtag
We study topological group theoretic properties of algebraic groups over local fields. In particular, we find conditions under which such groups have closed images under arbitrary…