Integrating Machine Learning and Formal Oracles for Scalable, Verifiable Software Design
(En-Route Degree to Terminal Degree)