Sumit Gulwani - Program Synthesis: Applications, Experiences, and Neuro-Symbolic Techniques
53:35
Sumit Gulwani - Program Synthesis: Applications, Experiences, and Neuro-Symbolic Techniques
2K viewsNov 7, 2024
YouTubeInstitute for Pure & Applied Mathematics (IPAM)
Program Synthesis meets Machine Learning
1:05:24
Find in video from 02:34Intersection of Program Synthesis and Machine Learning
Program Synthesis meets Machine Learning
7.4K viewsMar 21, 2019
YouTubeMicrosoft Research
(An Introduction to)+ Program Synthesis | Ullas Aparanji | TEDxPESU
17:51
Find in video from 02:26What is Program Synthesis?
(An Introduction to)+ Program Synthesis | Ullas Aparanji | TEDxP…
1.4K viewsApr 12, 2019
YouTubeTEDx Talks
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: A Dream Realized?" by Roopsha Samanta
38:05
"Program Synthesis: A Dream Realized?" by Roopsha Samanta
6.1K viewsOct 11, 2021
YouTubeStrange Loop Conference
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)
32:02
Program synthesis and the art of programming by intent with Dr. Sumit Gulwani [Podcast]
3.2K viewsNov 20, 2019
YouTubeMicrosoft Research
"Type-Driven Program Synthesis" by Nadia Polikarpova
39:40
Find in video from 04:21Programming with Specifications
"Type-Driven Program Synthesis" by Nadia Polikarpova
14.4K viewsOct 16, 2018
YouTubeStrange Loop Conference
43:54
Program Synthesis and Non-Monotonic Reasoning - Kedar Namjoshi
752 views4 months ago
YouTubeNdea
20:56
[PLDI'25] Program Synthesis From Partial Traces
66 views10 months ago
YouTubeACM SIGPLAN
53:45
Deep Learning as Program Synthesis | SLT Seminar
212 views7 months ago
YouTubeSLT & AI Safety
Program Synthesis—Friedrich Slivovsky
44:27
Find in video from 01:53Program Synthesis
Program Synthesis—Friedrich Slivovsky
260 viewsMar 12, 2020
YouTubeWeAreDevelopers
18:11
使用程序综合生成交换机代码（Switch Code Generation Using Program Synthesis）
372 viewsNov 13, 2020
bilibili薯片儿ccc
Accelerating search-based program synthesis using learned probabilistic models | ACM SIGPLAN Notices
Mar 4, 2020
acm.org
A Concurrent Approach to String Transformation Synthesis | Proceedings of the ACM on Programming Languages
11 months ago
acm.org
53:34
PROSE
May 29, 2020
Microsoft
LooPy: interactive program synthesis with control structures | Proceedings of the ACM on Programming Languages
Oct 15, 2021
acm.org
Certifying the synthesis of heap-manipulating programs | Proceedings of the ACM on Programming Languages
Aug 25, 2021
acm.org
SP 2: Learn Language Processing Activities with Examples
13:37
Find in video from 01:42Program Generation Activities
SP 2: Learn Language Processing Activities with Examples
16.7K viewsFeb 27, 2021
YouTubeCS & IT Tutorials by Vrushali 👩‍🎓
16:23
Synth Programming for beginners! A Tutorial from a pro!
64.2K viewsJun 18, 2020
YouTubeMatt Johnson’s Keyspace
1:17:57
Stanford CS224N NLP with Deep Learning | 2023 | Lecture 15 - Code Generation
18.4K viewsSep 20, 2023
YouTubeStanford Online
45:31
Synthesizer Tutorial for Beginners // Synth Programming 101
25.3K viewsAug 25, 2024
YouTubeStarsky Carr
34:26
Logic Synthesis and Physical Synthesis || VLSI Physical Design
9.9K viewsMay 4, 2024
YouTubeEmpowering PHYSICAL DESIGN🤩
32:07
IC Design & Manufacturing Process : Beginners Overview to VLSI
163.5K viewsAug 23, 2018
YouTubeSystemverilog Academy
11:28
Literature Synthesis 101: How to Synthesise In Your Literature Review - 5 Key Questions (+Examples )
59.7K viewsAug 18, 2023
YouTubeGrad Coach
10:57
The 5-Step System That Cracks ANY Organic Synthesis Problem
10.1K views5 months ago
YouTubeRojasLab
1:31
Your Child's AI Math Tutor: Synthesis Tutor 2.0
11.1K viewsApr 28, 2025
YouTubeSynthesis
15:54
Principles of programming languages: Translation model and synthesis of a program
2.3K viewsSep 17, 2019
YouTubeNET Forum
1:27:53
Program Synthesis and its Application (2019.05)
427 viewsApr 22, 2020
bilibiliPaul的日常
See more