3 citations · 5 across the 4 of their papers we have counts for
7 papers
A dataset of formalised theorem statements from the Annals of Mathematics
Thomas Browning, Katerina Hristova, David Ledvinka +4
Recent progress in autoformalisation of mathematics using AI has been impressive. Measuring this progress requires datasets of formal statements that are both hard and trustworthy.…
Constructing vector-valued automorphic forms on unitary groups
Thomas L. Browning, Pavel Čoupek, Ellen Eischen +4
We introduce a method for producing vector-valued automorphic forms on unitary groups from scalar-valued ones. As an application, we construct an explicit example. Our strategy emp…
Limit Points of Commuting Probabilities of Finite Groups
Thomas Browning
The commuting probability of a finite group is the probability that two randomly chosen elements commute. Let denote the set of all possible commuting probabi…
Formalizing Galois Theory
Thomas Browning, Patrick Lutz
We describe a project to formalize Galois theory using the Lean theorem prover, which is part of a larger effort to formalize all of the standard undergraduate mathematics curricul…
Classical Limits of Unbounded Quantities by Strict Quantization
Thomas L. Browning, Benjamin H. Feintzeig, Robin Gates-Redburg +2
This paper extends the tools of C*-algebraic strict quantization toward analyzing the classical limits of unbounded quantities in quantum theories. We introduce the approach first…
Counting Parabolic Double Cosets in Symmetric Groups
Thomas Browning
Billey, Konvalinka, Petersen, Solfstra, and Tenner recently presented a method for counting parabolic double cosets in Coxeter groups, and used it to compute , the number of p…
Doppelgangers: the Ur-Operation and Posets of Bounded Height
Thomas Browning, Max Hopkins, Zander Kelley
In the early 1970's, Richard Stanley and Kenneth Johnson introduced and laid the groundwork for studying the order polynomial of partially ordered sets (posets). Decades later, Ham…