Funding:
I am supported by the following funding sources:
NSF Artificial Intelligence, Formal Methods, and Mathematical Reasoning (AIMing), (DMS-2617281), 2026-2029
AMS-Simons Travel Grant, 2026-2029