Research Grants
Current and past research funding supporting our academic work
Active Grants
Formal Verification for Scientific Machine Learning
$450,000This project develops formal verification techniques for machine learning models used in scientific applications. We are creating a framework for expressing and proving correctness properties of neural networks that process scientific data and make predictions about physical systems.
Key Outcomes:
- Lean library for representing neural network architectures
- Formal proofs of robustness properties for scientific ML models
- Case studies in climate science and molecular dynamics
Collaborative Research: Formal Mathematics for Scientific Discovery
$320,000A collaborative project with physicists and computer scientists to formalize key theories in physics using the Lean theorem prover. The project aims to create a bridge between formal mathematics and scientific discovery in physics and related fields.
Key Outcomes:
- Formalization of quantum mechanics principles
- Automated reasoning tools for physical theories
- Interactive visualization of formal proofs
Pending Applications
AI-Assisted Theorem Proving for Mathematics Education
$280,000 (requested)This proposal aims to develop educational tools that combine AI techniques with interactive theorem proving to create a new approach to teaching mathematical reasoning and formal logic to undergraduate students.
Grant Resources
Looking for resources on finding and applying for research grants in formal mathematics and AI? Check out our curated list of funding opportunities and application tips.
Funding Opportunities Database Grant Writing Guide Collaboration Network