Sumit Gulwani - Program Synthesis: Applications, Experiences, and Neuro-Symbolic Techniques
53:35
YouTubeInstitute for Pure & Applied Mathematics (IPAM)
Sumit Gulwani - Program Synthesis: Applications, Experiences, and Neuro-Symbolic Techniques
Recorded 07 November 2024. Sumit Gulwani of Microsoft presents "Program Synthesis: Applications, Experiences, and Neuro-Symbolic Techniques" at IPAM's Naturalistic Approaches to Artificial Intelligence Workshop. Abstract: Program Synthesis can automate a wide variety of tasks for spreadsheet users (e.g., string transformations, table extraction ...
2K viewsNov 7, 2024
Program Synthesis Tutorial
Unleash Your Creativity with Douyin Play Partner Program
0:17
Unleash Your Creativity with Douyin Play Partner Program
YouTubeYuri Takeuchi
5.5M views1 month ago
Rudy Giuliani seeks help from 9/11 fund to cover medical care
1:52
Rudy Giuliani seeks help from 9/11 fund to cover medical care
YouTubeCNN
7.3K views1 week ago
Who wouldn't Karolina Pajączkowska go for coffee with after "Queen of Survival"? 💔 | I'm telling ...
0:52
Who wouldn't Karolina Pajączkowska go for coffee with after "Queen of Survival"? 💔 | I'm telling ...
YouTubeTVN7
25.4K views1 week ago
Top videos
Why Program Synthesis Is Next (Kevin Ellis and Zenna Tavares)
1:16:56
Why Program Synthesis Is Next (Kevin Ellis and Zenna Tavares)
YouTubeMachine Learning Street Talk
21.8K viewsApr 8, 2025
(An Introduction to)+ Program Synthesis | Ullas Aparanji | TEDxPESU
17:51
(An Introduction to)+ Program Synthesis | Ullas Aparanji | TEDxPESU
YouTubeTEDx Talks
1.4K viewsApr 12, 2019
Program Synthesis meets Machine Learning
1:05:24
Program Synthesis meets Machine Learning
YouTubeMicrosoft Research
7.4K viewsMar 21, 2019
Program Synthesis Applications
Yash Kumar ne bataya hai ki Anjana Singh ka film barbad kar denge#Yash Kumar#Anjana Singh#short#sp
0:58
Yash Kumar ne bataya hai ki Anjana Singh ka film barbad kar denge#Yash Kumar#Anjana Singh#short#sp
YouTubeSANDEEP YADAV
74K views1 week ago
নায়ক আলমগীর মুক্তিযোদ্ধা?
0:58
নায়ক আলমগীর মুক্তিযোদ্ধা?
YouTubeMaasranga Program
4K views1 week ago
Blokada finansowa polskiego sportu? "Będziemy uważnie oglądać każdą złotówkę" #pkol #zondacrypto
1:05
Blokada finansowa polskiego sportu? "Będziemy uważnie oglądać każdą złotówkę" #pkol #zondacrypto
YouTubeRMF24
16.3K views2 weeks ago
Why Program Synthesis Is Next (Kevin Ellis and Zenna Tavares)
1:16:56
Why Program Synthesis Is Next (Kevin Ellis and Zenna Tavares)
21.8K viewsApr 8, 2025
YouTubeMachine Learning Street Talk
(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
Program Synthesis meets Machine Learning
1:05:24
Program Synthesis meets Machine Learning
7.4K viewsMar 21, 2019
YouTubeMicrosoft Research
"Program Synthesis: A Dream Realized?" by Roopsha Samanta
38:05
"Program Synthesis: A Dream Realized?" by Roopsha Samanta
6.1K viewsOct 11, 2021
YouTubeStrange Loop Conference
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
Relational Decomposition for Program Synthesis - Céline Hocquette
47:33
Relational Decomposition for Program Synthesis - Céline Hocquette
675 views3 months ago
YouTubeNdea
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)
20:56
[PLDI'25] Program Synthesis From Partial Traces
66 views10 months ago
YouTubeACM SIGPLAN
43:54
Program Synthesis and Non-Monotonic Reasoning - Kedar Namjoshi
752 views4 months ago
YouTubeNdea
21:33
¿Qué es realmente la AGI? Deep Learning vs Program Synthesis 🤖 - ‪@Welcometolasecta‬
139 views2 months ago
YouTubeWelcome to la secta
44:25
Hack Club AMA w/ MIT CSAIL Director Armando Solar-Lezama
243 views6 months ago
YouTubeHack Club
32:02
Program synthesis and the art of programming by intent with Dr. Sumit Gulwani [Podcast]
3.2K viewsNov 20, 2019
YouTubeMicrosoft Research
39:40
"Type-Driven Program Synthesis" by Nadia Polikarpova
14.4K viewsOct 16, 2018
YouTubeStrange Loop Conference
1:14:49
Program Synthesis in Reverse Engineering - Rolf Rolles at Fastly Security Speaker Series
2.8K viewsMar 2, 2016
YouTubeFastly
53:45
Deep Learning as Program Synthesis | SLT Seminar
212 views7 months ago
YouTubeSLT & AI Safety
15:23
[Dafny'26] A benchmark for vericoding: formally verified program synthesis
27 views3 months ago
YouTubeACM SIGPLAN
26:23
Grammar Filtering For Syntax-Guided Synthesis - Mark Santolucito
1.2K views5 months ago
YouTubeNdea
5:08
Presentation LDRS Program Synthesis
3 views5 months ago
YouTubeErik and Reza
11:52:53
AI & ML Full Course 2026 | Complete Artificial Intelligence and Machine Learning Tutorial | Edureka
103.1K views5 months ago
YouTubeedureka!
35:07
ARC Prize 2025 Paper Award 2nd Place SOAR
963 views5 months ago
YouTubeARC Prize
24:24
Harry Goldstein - Metaprogramming the Next Generation of Testing Tools (Lean Together 2026)
272 views3 months ago
YouTubeleanprover community
12:58
Let's Type Synthesis from COMPUTE! Magazine - Commodore 64 - Issue 84, May 1987
2.9K views5 months ago
YouTubeC64 Appreciation Society
2:00
Abstract video synthesis loop 1080p 60fps 120secs 0VRg 018
173 views5 months ago
YouTubeVideoSynthExperiment
0:54
The World's First Superhuman Math Tutor | Synthesis Tutor
284.9K viewsDec 28, 2024
YouTubeSynthesis
15:08
How to make our software more trustworthy | Elizabeth Polgreen | TEDxUniversityofEdinburgh
22.8K viewsApr 12, 2024
YouTubeTEDx Talks
15:52
Synthesia AI Tutorial: Complete AI Video Maker 2026
114.4K viewsMar 15, 2024
YouTubeYouri van Hofwegen
1:31
Your Child's AI Math Tutor: Synthesis Tutor 2.0
683.7K viewsJan 23, 2025
YouTubeSynthesis
1:31
Your Child's AI Math Tutor: Synthesis Tutor 2.0
11.3K viewsApr 28, 2025
YouTubeSynthesis
0:57
Neurosymbolic AI - the best of both worlds
1.2K views1 month ago
YouTubeNdea
6:21
🐣 Introducing smol-developer - Human-centric & Coherent Whole Program Synthesis
41.4K viewsMay 14, 2023
YouTubeswyx
2:50
Abstract video synthesis loop 1080p 60fps 170secs oNbL 097
543 views1 month ago
YouTubeVideoSynthExperiment
3:00
Abstract video synthesis loop 1080p 60fps 180secs VewT 076
505 views2 weeks ago
YouTubeVideoSynthExperiment
2:15
Abstract video synthesis loop 1080p 60fps 135secs oNbL 031
149 views1 month ago
YouTubeVideoSynthExperiment
1:36
Abstract video synthesis loop 1080p 60fps 96secs Rsig 027
151 views4 months ago
YouTubeVideoSynthExperiment
3:00
Abstract video synthesis loop 1080p 60fps 180secs VewT 060
136 views2 weeks ago
YouTubeVideoSynthExperiment
2:30
Abstract video synthesis loop 1080p 60fps 150secs oNbL 030
325 views1 month ago
YouTubeVideoSynthExperiment
2:00
Abstract video synthesis loop 1080p 60fps 120secs oNbL 065
338 views4 weeks ago
YouTubeVideoSynthExperiment
2:48
Abstract video synthesis loop 1080p 60fps 168secs VewT 061
200 views2 weeks ago
YouTubeVideoSynthExperiment
2:15
Abstract video synthesis loop 1080p 60fps 135secs Yl7Z 039
152 views4 months ago
YouTubeVideoSynthExperiment
1:30
Abstract video synthesis loop 1080p 60fps 90secs 0VRg 003
432 views4 months ago
YouTubeVideoSynthExperiment
2:24
Abstract video synthesis loop 1080p 60fps 144secs Vto0 005
271 views3 months ago
YouTubeVideoSynthExperiment
3:00
Abstract video synthesis loop 1080p 60fps 180secs VewT 009
462 views3 weeks ago
YouTubeVideoSynthExperiment
3:00
Abstract video synthesis loop 1080p 60fps 180secs Q8eF 086
118 views3 months ago
YouTubeVideoSynthExperiment
2:24
Abstract video synthesis loop 1080p 60fps 144secs VewT 029
147 views2 weeks ago
YouTubeVideoSynthExperiment
9:41
GenAssist: Interactive Prompt-Driven XR Program Generation
40 views2 months ago
YouTubeIEEE Virtual Reality Conference
2:15
Abstract video synthesis loop 1080p 60fps 135secs b8W5 073
89 views1 month ago
YouTubeVideoSynthExperiment
2:24
Abstract video synthesis loop 1080p 60fps 144secs Vto0 007
158 views3 months ago
YouTubeVideoSynthExperiment
2:45
Abstract video synthesis loop 1080p 60fps 165secs y2xv 015
47 views1 month ago
YouTubeVideoSynthExperiment
3:00
Abstract video synthesis loop 1080p 60fps 180secs y2xv 011
100 views1 month ago
YouTubeVideoSynthExperiment
1:40
Abstract video synthesis loop 1080p 60fps 100secs b8W5 071
239 views2 months ago
YouTubeVideoSynthExperiment
2:45
Abstract video synthesis loop 1080p 60fps 165secs oNbL 102
54 views1 month ago
YouTubeVideoSynthExperiment
2:00
Abstract video synthesis loop 1080p 60fps 120secs Q8eF 063
206 views3 months ago
YouTubeVideoSynthExperiment
2:15
Abstract video synthesis loop 1080p 60fps 135secs Bvbo 005
476 views1 month ago
YouTubeVideoSynthExperiment
2:30
Abstract video synthesis loop 1080p 60fps 150secs Yl7Z 040
312 views5 months ago
YouTubeVideoSynthExperiment
2:24
Abstract video synthesis loop 1080p 60fps 144secs oNbL 063
83 views1 month ago
YouTubeVideoSynthExperiment
2:00
Abstract video synthesis loop 1080p 60fps 120secs Lso6 028
107 views8 months ago
YouTubeVideoSynthExperiment
40:49
Tutorial 1b: SuSLik: deductive synthesisof safe programs with pointers
869 viewsMar 8, 2023
YouTubeNeurosymbolic Programming for Science
5:30:30
Breeding Python Programs (AI program synthesis + evolution)
142 viewsMay 5, 2025
YouTubeAlexey Borsky
31:02
[PLMW@PLDI24] Letting users do the undecidable: lessons from program synthesis
261 viewsJul 23, 2024
YouTubeACM SIGPLAN
See more