← Search

Michael Y. Li

5 accepted papers

2025

Automated Hypothesis Validation with Agentic Sequential Falsifications

ICML 2025poster

Hypotheses are central to information acquisition, decision-making, and discovery. However, many real-world hypotheses are abstract, high-level statements that are difficult to validate directly. This challenge is further intensified by the rise of hypothesis generation from Large Language Models (L…

2023

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

NeurIPS 2023oral

Humans have a powerful and mysterious capacity to reason. Working through a set of mental steps enables us to make inferences we would not be capable of making directly even though we get no additional data from the world. Similarly, when large language models generate intermediate steps (a chain of…