/fall-2023-AG-NT-seminar /spring-2024-AG-NT-seminar /Asher-2024-3-5 /the_need_for_an_autoformalizer /casas-alvero /categorical-coproducts /Coupek-2024-3-19 /Defining-a-Scheme /euler-characteristic-is-an-index /gauss-legendre /Hecke-algebras /hilberts-10th-problem /iu-analysis-qualifying-solutions /introducing_vantage /ls-as-lcs /Larsen-2024-2-20 /leanexplore /Liao-2023-10-20 /Liao-2024-2-27 /Lowry-2023-9-15 /metric-space-ch /ramanujan-conjecture /Shein-2023-12-1 /Shein-2023-9-22 /Shein-2024-2-6 /Sheu-2023-10-27 /Strauch-2023-11-3 /weil-conjectures-intro /about /blog /brain_age_project /catan_ai / /infinity-categories /lists /posts /past-math-seminars