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: