Feb25
Dissertation Talk: Learning and Logic for Formal Synthesis
Zoom
- Benjamin Caulfield
- Electrical Engineering and Computer Sciences (EECS)
This dissertation talk presents further developments in the theory behind exact active learning, formal synthesis, and their intersection. Results presented will include developments in the theory of modular learning and the use of costs in formal synthesis.