2 papers
cs.CL2026
LiveMathematicianBench: A Live Benchmark for Mathematician-Level Reasoning with Proof Sketches
Linyang He, Qiyao Yu, Hanze Dong +5
Mathematical reasoning is a hallmark of human intelligence, and whether large language models (LLMs) can meaningfully perform it remains a central question in artificial intelligen…
math.RT2025
On tori periods of Weil representations of unitary groups
Neelima Borade, Jonas Franzel, Johannes Girsch +3
We determine the restriction of Weil representations of unitary groups to maximal tori. In the local case, we show that the Weil representation contains a pair of compatible charac…