Award Recipient Tyler Josephson University of Maryland, Baltimore 2025 Amazon Research Award Autoformalization for Scientific Computing in Lean Research topic Automated reasoning
