TOWARD MATHEMATICAL INTELLIGENCE AND CERTIFIABLE AUTOMATED REASONING: FROM THEORETICAL FOUNDATIONS TO EXPERIMENTAL REALIZATION
$6,250,000FY2020Department of the ArmyDOD
President And Fellows Of Harvard College
President And Fellows Of Harvard College