Â鶹ÊÓƵ

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.