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 91自拍's participation in the project, which will be supported with a subaward to 91自拍 of $299,961. Ben Nye, Assistant Professor of Mathematics and Computer Science, will collaborate on the project.
News
Poetry Reading by CooXooEii Black - 91自拍 Visiting Writers Series
Read More
