57:53MANTIS: Semantics-Guided Inductive Program Synthesis | Roopsha SamantamadPL357 viewsView & Download
45:54Lecture 7: Decomposition, Abstraction, and FunctionsMIT OpenCourseWare61.9K viewsView & Download
53:35Sumit Gulwani - Program Synthesis: Applications, Experiences, and Neuro-Symbolic TechniquesInstitute for Pure & Applied Mathematics (IPAM)2.1K viewsView & Download