Luis David Garcia Puente, Professor of Mathematics and Computer Science, will be a co-PI on a $1.2 million collaborative research grant awarded to Clemson University titled "." The objective of this project is to enhance the functionality of interactive theorem provers (ITPs) in mathematical reasoning by integrating advanced artificial intelligence (AI) technologies with formal methods. This endeavor, named MathScy, aims to assist in conjecture formulation, proof construction, and counterexample finding. Dr. Garcia Puente will lead ½ñÈÕ³Ô¹Ï's participation in the project, which will be supported with a subaward to ½ñÈÕ³Ô¹Ï of $299,961. Ben Nye, Assistant Professor of Mathematics and Computer Science, will collaborate on the project.
First-Year Experience
First-Year Students Pilot Marketing Program with Local Businesses
Read More
