Purdue University
To examine AI adoption by research disciplines through two workshops and a targeted case study of formal mathematics’ adoption of AI in research and practice
Grant: Purdue University
/grant-detail/g-2025-79234
Eamon Duede
To examine AI adoption by research disciplines through two workshops and a targeted case study of formal mathematics’ adoption of AI in research and practice