PDEs: Verification, Mathematics, and Algorithms in the Age of AI brings researchers together to examine how to verify PDE mathematics, algorithms, and software as AI enters scientific work.
A workshop by IPAM exploring new mathematical and algorithmic methods to ensure reliable, interpretable, and robust next-generation AI systems.
Workshop I: Numerical Algebraic Geometry at IPAM focuses on computational methods for large polynomial systems in algebraic geometry and electronic structure theory.
This IPAM workshop explores how algebraic geometry can provide new theoretical insights and frameworks for understanding machine learning systems.
SIM: The Quasi-Riemann Hypothesis: From Proof to Understanding brings researchers together for a workshop to study a recent proof and share its ideas with the broader mathematical community.
SIM: Group Approximations and their Applications in the Age of AI brings mathematicians together to explore breakthroughs in Sofic groups and advance a more complete theory of group approximations.