Timezone: »
Session 3: New Computational Technologies for Reasoning
Armando Solar-Lezama · Guy Van den Broeck · Jan-Willem van de Meent · Charles Sutton
Fri Jul 22 12:30 PM -- 01:55 PM (PDT) @
Moderator/MC: Armando Solar-Lezama
Individual Talks (60 min)
Talk 1 (20 min): Guy Van den Broeck, Associate Professor and Samueli Fellow, Computer Science Department, UCLA
Talk 2 (20 min): Jan-Willem van de Meent, Associate Professor (Universitair Hoofddocent), University of Amsterdam
Talk 3: Charles Sutton, Research Scientist at Google Brain; and a Reader (equivalent to Associate Professor: http://bit.ly/1W9UhqT) in Machine Learning at the University of Edinburgh - JOINING VIRTUALLY
Q+A and Group Panel Discussion (25 min)
Author Information
Armando Solar-Lezama (MIT)
Guy Van den Broeck (University of California, Los Angeles)
Jan-Willem van de Meent (University of Amsterdam)
Charles Sutton (Google)
More from the Same Authors
-
2023 : A Pseudo-Semantic Loss for Deep Generative Models with Logical Constraints »
Kareem Ahmed · Kai-Wei Chang · Guy Van den Broeck -
2023 : Demystifying the Role of Feedback in GPT Self-Repair for Code Generation »
Theo X. Olausson · Jeevana Priya Inala · Chenglong Wang · Jianfeng Gao · Armando Solar-Lezama -
2023 : Collapsed Inference for Bayesian Deep Learning »
Zhe Zeng · Guy Van den Broeck -
2023 : SIMPLE: A Gradient Estimator for $k$-subset Sampling »
Kareem Ahmed · Zhe Zeng · Mathias Niepert · Guy Van den Broeck -
2023 : Probabilistic Task-Adaptive Graph Rewiring »
Chendi Qian · Andrei Manolache · Kareem Ahmed · Zhe Zeng · Guy Van den Broeck · Mathias Niepert · Christopher Morris -
2023 : A Unified Approach to Count-Based Weakly-Supervised Learning »
Vinay Shukla · Zhe Zeng · Kareem Ahmed · Guy Van den Broeck -
2023 : Building Community Driven Libraries of Natural Programs »
Leonardo Hernandez Cano · Yewen Pu · Robert Hawkins · Josh Tenenbaum · Armando Solar-Lezama -
2023 : Prof. Armando Solar-Lezama (MIT): Neurosymbolic Learning as a Path to Learning with Guarantees »
Armando Solar-Lezama -
2023 : Panel on Reasoning Capabilities of LLMs »
Guy Van den Broeck · Ishita Dasgupta · Subbarao Kambhampati · Jiajun Wu · Xi Victoria Lin · Samy Bengio · Beliz Gunel -
2023 : AI can Learn from Data. But can it Learn to Reason? »
Guy Van den Broeck -
2023 Oral: Tractable Control for Autoregressive Language Generation »
Honghua Zhang · Meihua Dang · Nanyun Peng · Guy Van den Broeck -
2023 Poster: Understanding the Distillation Process from Deep Generative Models to Tractable Probabilistic Circuits »
Xuejie Liu · Anji Liu · Guy Van den Broeck · Yitao Liang -
2023 Poster: Tractable Control for Autoregressive Language Generation »
Honghua Zhang · Meihua Dang · Nanyun Peng · Guy Van den Broeck -
2022 : Program Synthesis, Program Semantics, and Large Language Models »
Charles Sutton -
2022 : Session 1: New Reasoning Problems and Modes of Reasoning »
Robert Ness · Rosemary Nan Ke · Armando Solar-Lezama -
2022 Workshop: Beyond Bayes: Paths Towards Universal Reasoning Systems »
Zenna Tavares · Emily Mackevicius · Elias Bingham · Nan Rosemary Ke · Talia Ringer · Armando Solar-Lezama · Nada Amin · John Krakauer · Robert O Ness · Alexis Avedisian -
2022 Poster: Learning Symmetric Embeddings for Equivariant World Models »
Jung Yeon Park · Ondrej Biza · Linfeng Zhao · Jan-Willem van de Meent · Robin Walters -
2022 Spotlight: Learning Symmetric Embeddings for Equivariant World Models »
Jung Yeon Park · Ondrej Biza · Linfeng Zhao · Jan-Willem van de Meent · Robin Walters -
2021 Poster: A Language for Counterfactual Generative Models »
Zenna Tavares · James Koppel · Xin Zhang · Ria Das · Armando Solar-Lezama -
2021 Poster: Probabilistic Generating Circuits »
Honghua Zhang · Brendan Juba · Guy Van den Broeck -
2021 Spotlight: A Language for Counterfactual Generative Models »
Zenna Tavares · James Koppel · Xin Zhang · Ria Das · Armando Solar-Lezama -
2021 Oral: Probabilistic Generating Circuits »
Honghua Zhang · Brendan Juba · Guy Van den Broeck -
2021 Poster: A large-scale benchmark for few-shot program induction and synthesis »
Ferran Alet · Javier Lopez-Contreras · James Koppel · Maxwell Nye · Armando Solar-Lezama · Tomas Lozano-Perez · Leslie Kaelbling · Josh Tenenbaum -
2021 Spotlight: A large-scale benchmark for few-shot program induction and synthesis »
Ferran Alet · Javier Lopez-Contreras · James Koppel · Maxwell Nye · Armando Solar-Lezama · Tomas Lozano-Perez · Leslie Kaelbling · Josh Tenenbaum -
2020 : On the Relationship Between Probabilistic Circuits and Determinantal Point Processes »
Honghua Zhang · Steven Holtzen · Guy Van den Broeck -
2020 Poster: Einsum Networks: Fast and Scalable Learning of Tractable Probabilistic Circuits »
Robert Peharz · Steven Lang · Antonio Vergari · Karl Stelzner · Alejandro Molina · Martin Trapp · Guy Van den Broeck · Kristian Kersting · Zoubin Ghahramani -
2020 Poster: Scaling up Hybrid Probabilistic Inference with Logical and Arithmetic Constraints via Message Passing »
Zhe Zeng · Paolo Morettin · Fanqi Yan · Antonio Vergari · Guy Van den Broeck -
2019 : Panel Discussion »
Wenpeng Zhang · Charles Sutton · Liam Li · Rachel Thomas · Erin LeDell -
2019 : Keynote by Charles Sutton: Towards Semi-Automated Machine Learning »
Charles Sutton -
2019 Poster: Learning to Infer Program Sketches »
Maxwell Nye · Luke Hewitt · Josh Tenenbaum · Armando Solar-Lezama -
2019 Oral: Learning to Infer Program Sketches »
Maxwell Nye · Luke Hewitt · Josh Tenenbaum · Armando Solar-Lezama -
2019 Poster: Predicate Exchange: Inference with Declarative Knowledge »
Zenna Tavares · Javier Burroni · Edgar Minasyan · Armando Solar-Lezama · Rajesh Ranganath -
2019 Oral: Predicate Exchange: Inference with Declarative Knowledge »
Zenna Tavares · Javier Burroni · Edgar Minasyan · Armando Solar-Lezama · Rajesh Ranganath -
2018 Poster: Sound Abstraction and Decomposition of Probabilistic Programs »
Steven Holtzen · Guy Van den Broeck · Todd Millstein -
2018 Oral: Sound Abstraction and Decomposition of Probabilistic Programs »
Steven Holtzen · Guy Van den Broeck · Todd Millstein -
2018 Poster: Selecting Representative Examples for Program Synthesis »
Yewen Pu · Zachery Miranda · Armando Solar-Lezama · Leslie Kaelbling -
2018 Poster: A Semantic Loss Function for Deep Learning with Symbolic Knowledge »
Jingyi Xu · Zilu Zhang · Tal Friedman · Yitao Liang · Guy Van den Broeck -
2018 Oral: Selecting Representative Examples for Program Synthesis »
Yewen Pu · Zachery Miranda · Armando Solar-Lezama · Leslie Kaelbling -
2018 Oral: A Semantic Loss Function for Deep Learning with Symbolic Knowledge »
Jingyi Xu · Zilu Zhang · Tal Friedman · Yitao Liang · Guy Van den Broeck -
2017 Poster: Learning Continuous Semantic Representations of Symbolic Expressions »
Miltiadis Allamanis · pankajan Chanthirasegaran · Pushmeet Kohli · Charles Sutton -
2017 Talk: Learning Continuous Semantic Representations of Symbolic Expressions »
Miltiadis Allamanis · pankajan Chanthirasegaran · Pushmeet Kohli · Charles Sutton