Kevin Ellis - Probabilistic Thinking in Language and Code - IPAM at UCLA

Recorded 07 November 2024. Kevin Ellis of Cornell University presents "Probabilistic Thinking in Language and Code" at IPAM's Naturalistic Approaches to Artificial Intelligence Workshop. Abstract: I will present work that tries to bridge Bayesian models of cognition with LLMs, treating both informal (natural) language and formal (programming) languages as candidate languages-of-thought for humanlike internal representations. First, I will define a class of Bayesian models that wrap around LLMs. Then, I will show ways in which the resulting models are more humanlike than either a raw LLM, or a conventional Bayesian cognitive model. Last, I will show engineering results suggesting how wake-sleep learning could fine-tune language models to be more effective at inductive reasoning by amortizing probabilistic inference. Learn more online at: https://www.ipam.ucla.edu/programs/wo...

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

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

Mental Programs in Humans and Machines with Kevin Ellis
▶︎

Mental Programs in Humans and Machines with Kevin Ellis

Josh Tenenbaum - Scaling Intelligence the Human Way - IPAM at UCLA
▶︎

Josh Tenenbaum - Scaling Intelligence the Human Way - IPAM at UCLA

Tai-Danae Bradley | Category Theory and Language Models | The Cartesian Cafe with Timothy Nguyen
▶︎

Tai-Danae Bradley | Category Theory and Language Models | The Cartesian Cafe with Timothy Nguyen

Prof. Scott Aaronson: Why Philosophers Should Care About Computational Complexity @ UT Austin
▶︎

Prof. Scott Aaronson: Why Philosophers Should Care About Computational Complexity @ UT Austin

Closing Keynote by Richard Sutton: Welcome to the Era of Experience | Ep.10
▶︎

Closing Keynote by Richard Sutton: Welcome to the Era of Experience | Ep.10

Apollo Research: Q & A on 'Frontier Models are Capable of In-Context Scheming', Alex & Marius Q&A.
▶︎

Apollo Research: Q & A on 'Frontier Models are Capable of In-Context Scheming', Alex & Marius Q&A.

Dreamcoder: Bootstrapping Inductive Program Synthesis With Wake-Sleep Library Learning
▶︎

Dreamcoder: Bootstrapping Inductive Program Synthesis With Wake-Sleep Library Learning

Tom Griffiths - Understanding human intelligence through human limitations - IPAM at UCLA
▶︎

Tom Griffiths - Understanding human intelligence through human limitations - IPAM at UCLA

Yann LeCun's $1B Bet Against LLMs [Part 1]
▶︎

Yann LeCun's $1B Bet Against LLMs [Part 1]

Martin Hairer: Do Mathematicians Need Computers?
▶︎

Martin Hairer: Do Mathematicians Need Computers?

Exploring Program Synthesis: Francois Chollet, Kevin Ellis, Zenna Tavares
▶︎

Exploring Program Synthesis: Francois Chollet, Kevin Ellis, Zenna Tavares

David Spivak - Plausible Fiction: Accounting for Actualizing Potential - IPAM at UCLA
▶︎

David Spivak - Plausible Fiction: Accounting for Actualizing Potential - IPAM at UCLA

"An Overview of Probabilistic Programming" by Vikash K. Mansinghka
▶︎

"An Overview of Probabilistic Programming" by Vikash K. Mansinghka

Turing Award Winner: Disagreeing with Google, Postgres, Future Problems | Mike Stonebraker
▶︎

Turing Award Winner: Disagreeing with Google, Postgres, Future Problems | Mike Stonebraker

Language Generation in the Limit
▶︎

Language Generation in the Limit

Why Peter Scholze is once in a Generation Mathematician
▶︎

Why Peter Scholze is once in a Generation Mathematician

Keynote: After the AI Hype – What’s Real, and What’s Next - Richard Campbell - 2026
▶︎

Keynote: After the AI Hype – What’s Real, and What’s Next - Richard Campbell - 2026

Tutorial: Probabilistic Programming
▶︎

Tutorial: Probabilistic Programming

Terence Tao: Nobody Understands Why AI Actually Works
▶︎

Terence Tao: Nobody Understands Why AI Actually Works