-
IÅŸil Dillig (University of Texas at Austin): “Neurosymbolic Program Synthesis: Bridging Perception and Reasoning in Real-World Applications”
IÅŸil Dillig (University of Texas at Austin): “Neurosymbolic Program Synthesis: Bridging Perception and Reasoning in Real-World Applications”
Abstract:Â 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 […]