AIMing: Interactive Conjecture Proving
Human-AI collaboration for research-level mathematics: conjecture generation, premise retrieval and robust mathematical reasoning with language models. The largest project led by the lab.
- Sponsor
- National Science Foundation
AI, Formal Methods, and Mathematical Reasoning (AIMing) - Period
- 2024-2027
- Team
- Carlos Toxtli-Hernández, Luis David Garcia Puente (Colorado College), Michael Burr and Vinita Gangaram Jansari
