Fall Seminar Series 2023 – Kuldeep Meel
Automated Synthesis: An Ideal Meeting Ground for Symbolic Reasoning and Machine Learning Kuldeep Meel, PhD Associate Professor of Computer Science University of Toronto 9/8/2023 11AM – 12PM CST Location: […]
Automated Synthesis: An Ideal Meeting Ground for Symbolic Reasoning and Machine Learning Kuldeep Meel, PhD Associate Professor of Computer Science University of Toronto 9/8/2023 11AM – 12PM CST Location: […]