-
HaLLMos: Constitutional AI for Teaching Mathematical Proofs
International Symposium on Artificial Intelligence and Mathematics, January 8, 2026
-
Uncountably many enumerations of well-quasi-ordered permutation classes
Joint Mathematics Meetings, January 4, 2026