Kuldeep Meel

"Functional Synthesis: An Ideal Meeting Ground for Formal Methods and Machine Learning"

( MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)

Don't we all dream of the perfect assistant whom we can just tell what to do and the assistant can figure out how toaccomplish the tasks? Formally, given a specification F(X,Y) over the set of input variables X and output variables Y,we want the assistant, aka functional synthesis engine, to design a function G such that (X,Y=G(X)) satisfies F.Functional synthesis has been studied for over 150 years, dating back Boole in 1850's and yet scalability remains acore challenge. Motivated by progress in machine learning, we design a new algorithmic framework Manthan, which viewsfunctional synthesis as a classification problem, relying on advances in constrained sampling for data generation, andadvances in automated reasoning for a novel proof-guided refinement and provable verification. On an extensive andrigorous evaluation over 609 benchmarks, we demonstrate that Manthan significantly improves upon the current state ofthe art, solving 356 benchmarks in comparison to 280, which is the most solved by a state of the art technique; thereby,we demonstrate an increase of 76 benchmarks over the current state of the art. The significant performance improvements,along with our detailed analysis, highlights several interesting avenues of future work at the intersection of machinelearning, constrained sampling, and automated reasoning.

Bio: Kuldeep Meel is the Sung Kah Kay Assistant Professor in the Computer Science Department of School of Computing atNational University of Singapore. His research interests lie at the intersection of Formal Methods and ArtificialIntelligence. He is a recipient of 2019 NRF Fellowship for AI, and was named AI's 10 to Watch by IEEE IntelligentSystems in 2020. His work received the 2018 Ralph Budd Award for Best PhD Thesis in Engineering, 2014 OutstandingMasters Thesis Award from Vienna Center of Logic and Algorithms and Best Student Paper Award at CP 2015. He received hisPh.D. (2017) and M.S. (2014) degree from Rice University, and B. Tech. (with Honors) degree (2012) in Computer Scienceand Engineering from Indian Institute of Technology, Bombay.

Termin als Datei downloaden und in den Kalender importieren.