Professor Yuriy Brun received a DARPA grant titled "PLATO: Enriched Tactic Prediction Models for Proof Synthesis & Repair." This 18-month $1M award (in collaboration with UIUC) is part of the Proof Engineering, Adaptation, Repair, and Learning for Software (PEARLS) program