Michael Y. Li

GIANTS: Generative Insight Anticipation from Scientific Literature

Automated Hypothesis Validation with Agentic Sequential Falsifications

LLMs + sequential hypothesis tests with Type-I error control

BoxingGym: Benchmarking Progress in Automated Experimental Design and Model Discovery

A benchmark for LLM driven experimental design and model discovery

CriticAL: Model Criticism Automation with Language Models

Automated Bayesian model criticism.

What Should Embeddings Embed? Transformers Represent Latent Generating Distributions

We study the embeddings of transformers through the lens of predictive sufficient statistics.

Automated Statistical Model Discovery with Language Models

We propose a language model driven automated statistical model discovery system.

NAS-X: Neural Adaptive Smoothing via Twisting

Twisted Sequential Monte Carlo for inference in latent variables models.

Why think step-by-step? Reasoning emerges from the locality of experience

We empirically and theoretically study when chain-of-thought reasoning emerges in large language models.

Gaussian Process Surrogate Models for Neural Networks

Using Gaussian processes to approximate neural networks.

Learning to Learn Functions

We propose hierarchical Bayesian models of how people learn to learn functions and validate our model in behavioral experiments.