Better Learning Through Programming Languages: Neurosymbolic Synthesis and Learning

Explore the evolution of program synthesis as a learning tool in this illuminating 1-hour 13-minute talk by Armando Solar-Lezama from MIT. Delve into early work on synthesizing models from data and discover how program synthesis concepts form the foundation for innovative neurosymbolic learning algorithms. Gain insights into the intersection of programming languages and machine learning, and understand how these advancements are shaping the future of artificial intelligence and scientific research.