College of Engineering, Design & Computing Events

3 June | Artificial Intelligence, Formal Methods, and Mathematical Reasoning

NSF

The National Science Foundation Directorates for Mathematical and Physical Sciences and Computer and Information Science and Engineering will jointly sponsor new research projects at the interface of artificial intelligence, formal methods, and interactive theorem provers to guide and enhance research in the mathematical sciences, formal methods, and AI. Successful projects should demonstrate the potential to advance both the mathematical sciences as well as the computational models and methods used to attain these advancements. The advancements may include, but are not limited to:

• advancing AI for mathematical conjecture, proof, verification
• advancing interactive theorem provers for mathematical proof and verification, software/hardware verification, and related applications,
• developing training data for AI algorithms for mathematical reasoning, both deterministic and under uncertainty, and novel approaches for infusing logic, mathematical reasoning, and compositionality into AI.