activity
20192026
most citedLINC: A Neurosymbolic Approach for Logical Reasoning by Combining Language Models with First-Order Logic Provers

53 citations · 66 across the 18 of their papers we have counts for

collaborators
Showing 2025Show all

9 papers · 1 filter

cs.AI2025

A Matter of Interest: Understanding Interestingness of Math Problems in Humans and Language Models

Shubhra Mishra, Yuka Machino, Gabriel Poesia +9

The evolution of mathematics is shaped importantly by interestingness: researchers choose which problems to pursue, and students choose which problems to engage with, based on expe…

cs.CL2025

Code-enabled language models can outperform reasoning models on diverse tasks

Cedegao E. Zhang, Cédric Colas, Gabriel Poesia +2

Reasoning models (RMs), language models (LMs) trained with reinforcement learning to produce long-form natural language reasoning, have been remarkably successful, but they still r…

q-bio.NC2025

People use fast and flat simulation to reason about new games

Katherine M. Collins, Cedegao E. Zhang, Lionel Wong +6

Games have long been a microcosm for studying planning and reasoning in both natural and artificial intelligence (AI), often focusing on expert-level or even super-human play. But…

cs.CL2025

Evaluating Language Models' Evaluations of Games

Katherine M. Collins, Cedegao E. Zhang, Graham Todd +9

Reasoning is not just about solving problems -- it is also about evaluating which problems are worth solving at all. Evaluations of artificial intelligence (AI) systems primarily f…

cs.CL2025

On the Same Wavelength? Evaluating Pragmatic Reasoning in Language Models across Broad Concepts

Linlu Qiu, Cedegao E. Zhang, Joshua B. Tenenbaum +2

Language use is shaped by pragmatics -- i.e., reasoning about communicative goals and norms in context. As language models (LMs) are increasingly used as conversational agents, it…

cs.HC2025

Generation and Evaluation in the Human Invention Process through the Lens of Game Design

Katherine M. Collins, Graham Todd, Cedegao E. Zhang +6

The human ability to learn rules and solve problems has been a central concern of cognitive science research since the field's earliest days. But we do not just follow rules and so…

cs.CL2025

Modeling Open-World Cognition as On-Demand Synthesis of Probabilistic Models

Lionel Wong, Katherine M. Collins, Lance Ying +8

When faced with novel situations, people are able to marshal relevant considerations from a wide range of background knowledge and put these to use in inferences and predictions. W…

cs.CL2025

Language-Informed Synthesis of Rational Agent Models for Grounded Theory-of-Mind Reasoning On-The-Fly

Lance Ying, Ryan Truong, Katherine M. Collins +6

Drawing real world social inferences usually requires taking into account information from multiple modalities. Language is a particularly powerful source of information in social…

cs.CL2025

Scaling up the think-aloud method

Daniel Wurgaft, Ben Prystawski, Kanishk Gandhi +3

The think-aloud method, where participants voice their thoughts as they solve a task, is a valuable source of rich data about human reasoning processes. Yet, it has declined in pop…