3 citations · 3 across the 8 of their papers we have counts for
8 papers
Aletheia tackles FirstProof autonomously
Tony Feng, Junehyuk Jung, Sang-hyun Kim +14
We report the performance of Aletheia (Feng et al., 2026b), a mathematics research agent powered by Gemini 3 Deep Think, on the inaugural FirstProof challenge. Within the allowed t…
Semi-Autonomous Mathematics Discovery with Gemini: A Case Study on the Erdős Problems
Tony Feng, Trieu Trinh, Garrett Bingham +21
We present a case study in semi-autonomous mathematics discovery, using Gemini to systematically evaluate 700 conjectures labeled 'Open' in Bloom's Erdős Problems database. We empl…
Jordan decompositions in Lie algebras and their duals
Loren Spice, Cheng-Chiang Tsai
We provide a discussion of Jordan decompositions in the Lie algebra, and the dual Lie algebra, of a reductive group in as uniform a way as possible. We give a counterexample to the…
Local character expansion for mod- representations
Cheng-Chiang Tsai
Let be a -adic reductive group with ``very large.'' For any irreducible admissible representation of over an algebraically closed field of characteristic $\n…
Local characters of mod- representations of a -adic reductive group
Cheng-Chiang Tsai
We define the ``lifted character'' of mod- representations of -adic reductive groups where , on compact elements with pro-orders not divisible by . We ge…
Building Machine Learning Challenges for Anomaly Detection in Science
Elizabeth G. Campolongo, Yuan-Tang Chou, Ekaterina Govorkova +148
Scientific discoveries are often made by finding a pattern or object that was not predicted by the known rules of science. Oftentimes, these anomalous events or objects that do not…
Cuspidal character sheaves on graded Lie algebras
Wille Liu, Cheng-Chiang Tsai, Kari Vilonen +1
We show in this paper that in the context of graded Lie algebras, all cuspidal character sheaves arise from a nearby-cycle construction followed by a Fourier--Sato transform in a v…
Wave-front sets for -adic Lie algebras
Cheng-Chiang Tsai
We study the wave-front set of an element in a -adic reductive Lie algebra (for ), namely the set of maximal nilpotent orbits appearing in its Shalika g…