7 citations · 10 across the 7 of their papers we have counts for
3 papers · 1 filter
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…
ASyMOB: Algebraic Symbolic Mathematical Operations Benchmark
Michael Shalyt, Rotem Elimelech, Ido Kaminer
Large language models (LLMs) are increasingly applied to symbolic mathematics, yet existing evaluations often conflate pattern memorization with genuine reasoning. To address this…
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…