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

18 papers

cs.CL2026

Learning User Simulators with Turing Rewards

Yingshan Susan Wang, Cedegao E. Zhang, Linlu Qiu +5

Learning to simulate human users in interactive settings could advance the training of agent assistants, evaluation of personalization systems, research in the social sciences, and…

cs.AI2026

Cognitive Models and AI Algorithms Provide Templates for Designing Language Agents

Ryan Liu, Dilip Arumugam, Cedegao E. Zhang +3

While contemporary large language models (LLMs) are increasingly capable in isolation, there are still many difficult problems that lie beyond the abilities of a single LLM. For su…

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…

cs.HC2024★ 2 cited

Building Machines that Learn and Think with People

Katherine M. Collins, Ilia Sucholutsky, Umang Bhatt +10

What do we want from machine intelligence? We envision machines that are not just tools for thought, but partners in thought: reasonable, insightful, knowledgeable, reliable, and t…

cs.GT2024

People use fast, goal-directed simulation to reason about novel games

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

People can evaluate features of problems and their potential solutions well before we can effectively solve them. When considering a game we have never played, for instance, we mig…

cs.CL2024★ 3 cited

Conditional and Modal Reasoning in Large Language Models

Wesley H. Holliday, Matthew Mandelkern, Cedegao E. Zhang

The reasoning abilities of large language models (LLMs) are the topic of a growing body of research in AI and cognitive science. In this paper, we probe the extent to which twenty-…

q-bio.NC2023★ 3 cited

AI for Mathematics: A Cognitive Science Perspective

Cedegao E. Zhang, Katherine M. Collins, Adrian Weller +1

Mathematics is one of the most powerful conceptual systems developed and used by the human species. Dreams of automated mathematicians have a storied history in artificial intellig…

cs.CL2023★ 53 cited

LINC: A Neurosymbolic Approach for Logical Reasoning by Combining Language Models with First-Order Logic Provers

Theo X. Olausson, Alex Gu, Benjamin Lipkin +4

Logical reasoning, i.e., deductively inferring the truth value of a conclusion from a set of premises, is an important task for artificial intelligence with wide potential impacts…

cs.AI2023★ 4 cited

The Neuro-Symbolic Inverse Planning Engine (NIPE): Modeling Probabilistic Social Inferences from Linguistic Inputs

Lance Ying, Katherine M. Collins, Megan Wei +5

Human beings are social creatures. We routinely reason about other agents, and a crucial component of this social reasoning is inferring people's goals as we learn about their acti…

cs.LO2019★ 1 cited

When Do Introspection Axioms Matter for Multi-Agent Epistemic Reasoning?

Yifeng Ding, Wesley H. Holliday, Cedegao Zhang

The early literature on epistemic logic in philosophy focused on reasoning about the knowledge or belief of a single agent, especially on controversies about "introspection axioms"…