Interpretable Program Synthesis

Interpretable Program Synthesis Information Guide

1. Overview on Interpretable Program Synthesis
2. Important Facts
3. History
4. Deep Dive
5. Future Outlook

Overview on Interpretable Program Synthesis

Recorded 10 January 2023. Osbert Bastani of the University of Pennsylvania presents " Panel discussion with Francois Chollet, Kevin Ellis, and Zenna Tavares on why Recorded 07 November 2024. Sumit Gulwani of Microsoft presents " GameTable's Manuel Eberhardinger presents a short talk about explainable and Dr. Christian Szegedy from Google Research is a deep learning heavyweight. He invented adversarial examples, one of the first ... Kevin Ellis (Cornell) and Zenna Tavares (BASIS) argue that the next wave of AI needs to learn like humans do: building abstract ...

Important Facts

History

Automated Program Synthesis, lecture by Elaine Kant

Sumit Gulwani - Program Synthesis: Applications, Experiences, and Neuro-Symbolic Techniques

Explainable Reinforcement Learning with Program Synthesis for Games - Manuel Eberhardinger

#50 Dr. CHRISTIAN SZEGEDY - Formal Reasoning, Program Synthesis

Syntax-Guided Program Synthesis

"Program Synthesis: A Dream Realized?" by Roopsha Samanta

Why Program Synthesis Is Next (Kevin Ellis and Zenna Tavares)

Gabe Grand | LILO: Learning Interpretable Libraries by Compressing and Documenting Code

[HATRA] Program Synthesis Using Example Propagation

Deep Dive

Data is compiled from public records and verified media reports.

Last Updated: June 20, 2026

Future Outlook

Disclaimer: Disclaimer: Details estimates are based on publicly available data, media reports, and financial analysis. Actual numbers may vary.