2 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.AI2026
Numina-Lean-Agent: An Open and General Agentic Reasoning System for Formal Mathematics
Junqi Liu, Zihao Zhou, Zekai Zhu +10
Agentic systems have recently become the dominant paradigm for formal theorem proving, achieving strong performance by coordinating multiple models and tools. However, existing app…
math.DS2021★ 2 cited
Equidistribution of affine random walks on some nilmanifolds
Weikun He, Tsviqa Lakrec, Elon Lindenstrauss
We study quantitative equidistribution in law of affine random walks on nilmanifolds, motivated by a result of Bourgain, Furman, Mozes and the third named author on the torus. Unde…