Exploring Program Synthesis: Francois Chollet, Kevin Ellis, Zenna Tavares
31:40
Exploring Program Synthesis: Francois Chollet, Kevin Ellis, Zenna Tavares
17.8K viewsMar 23, 2025
YouTubeMachine Learning Street Talk
Program Synthesis meets Notebooks
11:55
Program Synthesis meets Notebooks
Jul 18, 2019
Microsoft
Inductive Synthesis of Recursive Functional Programs
1:05:24
Inductive Synthesis of Recursive Functional Programs
521 viewsAug 17, 2016
YouTubeMicrosoft Research
[PLDI'25] Program Synthesis From Partial Traces
20:56
[PLDI'25] Program Synthesis From Partial Traces
66 views10 months ago
YouTubeACM SIGPLAN
Armando Solar Lezama - AI Programming; Program Synthesis • YASP #3
1:57:48
Armando Solar Lezama - AI Programming; Program Synthesis • YASP #3
1.6K viewsMay 22, 2023
YouTubeYet Another Science Podcast (YASP)
(An Introduction to)+ Program Synthesis | Ullas Aparanji | TEDxPESU
17:51
(An Introduction to)+ Program Synthesis | Ullas Aparanji | TEDxPESU
1.4K viewsApr 12, 2019
YouTubeTEDx Talks
Augmented example-based synthesis using relational perturbation properties | Proceedings of the ACM on Programming Languages
Augmented example-based synthesis using relational perturbation properties | Proceedings of the ACM on Programming Languages
Jan 14, 2020
acm.org
39:40
"Type-Driven Program Synthesis" by Nadia Polikarpova
14.4K viewsOct 16, 2018
YouTubeStrange Loop Conference
47:33
Relational Decomposition for Program Synthesis - Céline Hocquette
675 views3 months ago
YouTubeNdea
DPGen: Automated Program Synthesis for Differential Privacy | Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications Security
Nov 22, 2021
acm.org
32:02
Program synthesis and the art of programming by intent with Dr. Sumit Gulwani [Podcast]
3.2K viewsNov 20, 2019
YouTubeMicrosoft Research
1:05:24
Program Synthesis meets Machine Learning
7.4K viewsMar 21, 2019
YouTubeMicrosoft Research
AutoPandas: neural-backed generators for program synthesis | Proceedings of the ACM on Programming Languages
Dec 31, 2019
acm.org
38:05
"Program Synthesis: A Dream Realized?" by Roopsha Samanta
6.2K viewsOct 11, 2021
YouTubeStrange Loop Conference
53:35
Sumit Gulwani - Program Synthesis: Applications, Experiences, and Neuro-Symbolic Techniques
2K viewsNov 7, 2024
YouTubeInstitute for Pure & Applied Mathematics (IPAM)
44:27
Program Synthesis—Friedrich Slivovsky
260 viewsMar 12, 2020
YouTubeWeAreDevelopers
8:40
Synthesia.io Review (Synthesia Demo & Tutorial: AI Video Generator Software)
17.7K viewsOct 24, 2022
YouTubeMarketing Island
1:17:57
Stanford CS224N NLP with Deep Learning | 2023 | Lecture 15 - Code Generation
18.4K viewsSep 20, 2023
YouTubeStanford Online
Multi-modal program inference: a marriage of pre-trained language models and component-based synthesis | Proceedings of the ACM on Programming Languages
Oct 15, 2021
acm.org
43:54
Program Synthesis and Non-Monotonic Reasoning - Kedar Namjoshi
740 views4 months ago
YouTubeNdea
32:35
A Neural Network Solves and Generates Mathematics Problems by Program Synthesis | Paper Explained
8.2K viewsJan 9, 2022
YouTubeAleksa Gordić - The AI Epiphany
1:23:15
Neural Representations for Program Analysis and Synthesis
1.8K viewsApr 4, 2018
YouTubeMicrosoft Research
54:23
Program Synthesis with Large Language Models
843 viewsSep 29, 2021
YouTubeCodedotAI
Accelerating search-based program synthesis using learned probabilistic models | ACM SIGPLAN Notices
Mar 4, 2020
acm.org
18:11
使用程序综合生成交换机代码（Switch Code Generation Using Program Synthesis）
372 viewsNov 13, 2020
bilibili薯片儿ccc
1:17:11
Satisfiability-based Program Reasoning and Synthesis
204 viewsAug 17, 2016
YouTubeMicrosoft Research
53:34
PROSE
May 29, 2020
Microsoft
Program synthesis with algebraic library specifications | Proceedings of the ACM on Programming Languages
Oct 10, 2019
acm.org
FrAngel: component-based synthesis with control structures | Proceedings of the ACM on Programming Languages
Jan 2, 2020
acm.org
See more