Efficient, Scalable and Certified Convex Hull Computation in High Dimensions for Verifying Neural Networks and Generating Correctly-rounded Math Libraries
Principal Investigator: Mridul Aanjaneya
Affiliation: Associate Professor, Department of Computer Science, School of Arts and Sciences
Co-Principal Investigator: Santosh Nagarakatte
Affiliation: Professor, Department of Computer Science, School of Arts and Sciences
Amount: $850,000
Sponsor: National Science Foundation
