A. James Clark School of Engineering, University of Maryland

$2.6M from DARPA to accelerate mathematical discovery with AI