Program Synthesis for the Masses
Program Synthesis for the Masses
2014年4月18日
Microsoft
Exploring Program Synthesis: Francois Chollet, Kevin Ellis, Zenna Tavares
31:40
Exploring Program Synthesis: Francois Chollet, Kevin Ellis, Zenna Tavares
已浏览 1.8万 次2025年3月23日
YouTubeMachine Learning Street Talk
Program Synthesis meets Notebooks
11:55
Program Synthesis meets Notebooks
2019年7月18日
Microsoft
Inductive Synthesis of Recursive Functional Programs
1:05:24
Inductive Synthesis of Recursive Functional Programs
已浏览 521 次2016年8月17日
YouTubeMicrosoft Research
[PLDI'25] Program Synthesis From Partial Traces
20:56
[PLDI'25] Program Synthesis From Partial Traces
已浏览 66 次10 个月之前
YouTubeACM SIGPLAN
A Concurrent Approach to String Transformation Synthesis | Proceedings of the ACM on Programming Languages
A Concurrent Approach to String Transformation Synthesis | Proceedings of the ACM on Programming Languages
11 个月之前
acm.org
Armando Solar Lezama - AI Programming; Program Synthesis • YASP #3
1:57:48
Armando Solar Lezama - AI Programming; Program Synthesis • YASP #3
已浏览 1573 次2023年5月22日
YouTubeYet Another Science Podcast (YASP)
17:51
(An Introduction to)+ Program Synthesis | Ullas Aparanji | TEDxPESU
已浏览 1404 次2019年4月12日
YouTubeTEDx Talks
Augmented example-based synthesis using relational perturbation properties | Proceedings of the ACM on Programming Languages
2020年1月14日
acm.org
39:40
"Type-Driven Program Synthesis" by Nadia Polikarpova
已浏览 1.4万 次2018年10月16日
YouTubeStrange Loop Conference
47:33
Relational Decomposition for Program Synthesis - Céline Hocquette
已浏览 675 次3 个月之前
YouTubeNdea
DPGen: Automated Program Synthesis for Differential Privacy | Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications Security
2021年11月22日
acm.org
32:02
Program synthesis and the art of programming by intent with Dr. Sumit Gulwani [Podcast]
已浏览 3180 次2019年11月20日
YouTubeMicrosoft Research
1:05:24
Program Synthesis meets Machine Learning
已浏览 7359 次2019年3月21日
YouTubeMicrosoft Research
AutoPandas: neural-backed generators for program synthesis | Proceedings of the ACM on Programming Languages
2019年12月31日
acm.org
38:05
"Program Synthesis: A Dream Realized?" by Roopsha Samanta
已浏览 6141 次2021年10月11日
YouTubeStrange Loop Conference
53:35
Sumit Gulwani - Program Synthesis: Applications, Experiences, and Neuro-Symbolic Techniques
已浏览 2028 次2024年11月7日
YouTubeInstitute for Pure & Applied Mathematics (IPAM)
44:27
Program Synthesis—Friedrich Slivovsky
已浏览 260 次2020年3月12日
YouTubeWeAreDevelopers
Multi-modal program inference: a marriage of pre-trained language models and component-based synthesis | Proceedings of the ACM on Programming Languages
2021年10月15日
acm.org
43:54
Program Synthesis and Non-Monotonic Reasoning - Kedar Namjoshi
已浏览 740 次4 个月之前
YouTubeNdea
32:35
A Neural Network Solves and Generates Mathematics Problems by Program Synthesis | Paper Explained
已浏览 8230 次2022年1月9日
YouTubeAleksa Gordić - The AI Epiphany
18:11
使用程序综合生成交换机代码（Switch Code Generation Using Program Synthesis）
已浏览 372 次2020年11月13日
bilibili薯片儿ccc
54:23
Program Synthesis with Large Language Models
已浏览 849 次2021年9月29日
YouTubeCodedotAI
Accelerating search-based program synthesis using learned probabilistic models | ACM SIGPLAN Notices
2020年3月4日
acm.org
Accelerating search-based program synthesis using learned probabilistic models | ACM SIGPLAN Notices
2020年4月21日
acm.org
1:17:11
Satisfiability-based Program Reasoning and Synthesis
已浏览 204 次2016年8月17日
YouTubeMicrosoft Research
53:34
PROSE
2020年5月29日
Microsoft
Program synthesis with algebraic library specifications | Proceedings of the ACM on Programming Languages
2019年10月10日
acm.org
FrAngel: component-based synthesis with control structures | Proceedings of the ACM on Programming Languages
2020年1月2日
acm.org
Provenance-guided synthesis of Datalog programs | Proceedings of the ACM on Programming Languages
2020年1月29日
acm.org
展开