Saved in:
Bibliographic Details
Main Authors: Gabay, Adi, Stanovsky, Gabriel, Peterfreund, Liat
Format: Preprint
Published: 2026
Subjects:
Online Access:https://arxiv.org/abs/2603.21350
Tags: Add Tag
No Tags, Be the first to tag this record!
_version_ 1866911535600762880
author Gabay, Adi
Stanovsky, Gabriel
Peterfreund, Liat
author_facet Gabay, Adi
Stanovsky, Gabriel
Peterfreund, Liat
contents Epistemic reasoning requires agents to infer the state of the world from partial observations and information about other agents' knowledge. Prior work evaluating LLMs on canonical epistemic puzzles interpreted their behavior through a dichotomy between epistemic reasoning and brittle memorization. We argue that this framing is incomplete: in recent models, memorization is better understood as a special case of reduction, where a new instance is mapped onto a known problem. Instead, we introduce a reduction ladder, a sequence of modifications that progressively move instances away from a canonical epistemic puzzle, making reduction increasingly difficult while preserving the underlying logic. We find that while some large models succeed via reduction, other models fail early, and all models struggle once epistemic reasoning is required.
format Preprint
id arxiv_https___arxiv_org_abs_2603_21350
institution arXiv
publishDate 2026
record_format arxiv
spellingShingle Beyond Memorization: Distinguishing between Reductive and Epistemic Reasoning in LLMs using Classic Logic Puzzles
Gabay, Adi
Stanovsky, Gabriel
Peterfreund, Liat
Computation and Language
Epistemic reasoning requires agents to infer the state of the world from partial observations and information about other agents' knowledge. Prior work evaluating LLMs on canonical epistemic puzzles interpreted their behavior through a dichotomy between epistemic reasoning and brittle memorization. We argue that this framing is incomplete: in recent models, memorization is better understood as a special case of reduction, where a new instance is mapped onto a known problem. Instead, we introduce a reduction ladder, a sequence of modifications that progressively move instances away from a canonical epistemic puzzle, making reduction increasingly difficult while preserving the underlying logic. We find that while some large models succeed via reduction, other models fail early, and all models struggle once epistemic reasoning is required.
title Beyond Memorization: Distinguishing between Reductive and Epistemic Reasoning in LLMs using Classic Logic Puzzles
topic Computation and Language
url https://arxiv.org/abs/2603.21350