Işil Dillig (University of Texas at Austin): “Neurosymbolic Program Synthesis: Bridging Perception and Reasoning in Real-World Applications”
Amy Gutmann Hall, Room 414 3333 Chestnut Street, Philadelphia, United StatesAbstract: Neurosymbolic Program Synthesis (NSP) integrates neural networks and symbolic reasoning to tackle complex tasks requiring both perception and logical reasoning. This talk provides an overview of the NSP framework […]