activity
20242026
collaborators

10 papers

cs.AI2026

Learning to Reason Efficiently with A* Post-Training

Andreas Opedal, Francesco Ignazio Re, Abulhair Saparov +3

Many applications of large language models (LLMs) require deductive reasoning, yet models frequently produce incorrect or redundant inference steps. We frame natural language infer…

cs.CL2026

Prefix Parsing is Just Parsing

Clemente Pasti, Andreas Opedal, Timothy J. O'Donnell +2

Prefix parsing asks whether an input prefix can be extended to a complete string generated by a given grammar. In the weighted setting, it also provides prefix probabilities, which…

cs.CL2026

Rethinking Easy-to-Hard: Limits of Curriculum Learning in Post-Training for Deductive Reasoning

Maximilian Mordig, Andreas Opedal, Weiyang Liu +1

Curriculum learning (CL), motivated by the intuition that learning in increasing order of difficulty should ease generalization, is commonly adopted both in pre-training and post-t…

cs.CL2026

Can LLMs Model Incorrect Student Reasoning? A Case Study on Distractor Generation

Yanick Zengaffinen, Andreas Opedal, Donya Rooein +3

Modeling plausible student misconceptions is critical for AI in education. In this work, we examine how large language models (LLMs) reason about misconceptions when generating mul…

cs.CL2026

Are Language Models Efficient Reasoners? A Perspective from Logic Programming

Andreas Opedal, Yanick Zengaffinen, Haruki Shirakami +5

Modern language models (LMs) exhibit strong deductive reasoning capabilities, yet standard evaluations emphasize correctness while overlooking a key aspect of reasoning: efficiency…

cs.CL2025

On the Role of Context in Reading Time Prediction

Andreas Opedal, Eleanor Chodroff, Ryan Cotterell +1

We present a new perspective on how readers integrate context during real-time language comprehension. Our proposals build on surprisal theory, which posits that the processing eff…