Invited Talk
in
Workshop: 3rd AI for Math Workshop: Toward Self-Evolving Scientific Agents Fri, Jul 10, 2026 • 5:00 PM – 5:30 PM PDT

Machine-Checked Mathematics in the Age of AI

Leonardo de Moura

Chat is not available.