Hugging Face Trending Papers

DERELAB: Probing Defeasible Reasoning and Confirmation Bias in LLMs with a Generative Benchmark

arXiv Computation and Language
Oct 16

Explanation Generation for Contradiction Reconciliation with LLMs

The paper introduces a new task called reconciliatory explanation generation, where large language models (LLMs) must produce explanations that make contradictory statements compatible. It proposes reusing natural language inference datasets and new quality metrics for scalable evaluation. Experiments with 13 LLMs show limited success, especially when longer reasoning chains are involved, but reinforcement‑learning training improves performance on two narrative reasoning benchmarks.

By Jason Chan, Zhixue Zhao, Robert Gaizauskas
arXiv Computation and Language
Oct 19

Verbalising Model's Computation for Chain-of-Thought Faithfulness Detection

The paper introduces VERITAS, a method that verbalises a language model’s internal computation during chain‑of‑thought (CoT) generation by projecting layer‑wise Jacobians to produce a token‑by‑token account of reasoning evolution. By training a classifier on these verbalised features, VERITAS detects where and how reasoning diverges toward unfaithfulness, achieving a 28.4% balanced‑accuracy gain over LLM‑as‑Judge and a 16.0% improvement over activation probing across four datasets. The approach demonstrates generalisability to different datasets and model architectures, offering a richer, more interpretable lens on CoT faithfulness that moves beyond detection toward mechanistic insight.

By Yujing Wang, Yulan He, Wenya Wang, Hanqi Yan
arXiv Machine Learning
1d ago

Does Reasoning Make Language Models Agree?

The paper investigates how reasoning affects agreement among language models. It distinguishes reasoning as an intervention from reasoning as an observed behavior, comparing agreement under controlled changes in reasoning effort versus observed reasoning lengths. Across nine models and three classification tasks, enabling reasoning increases agreement on the same individuals, while longer reasoning traces correlate with less consistent predictions across models.

By Mila Gorecki, Moritz Hardt
arXiv Machine Learning
Sep 2

Why Do Reasoning Models Lose Coverage? The Role of Data and Forks in the Road

The paper investigates why fine‑tuned reasoning models lose coverage, observing that pass@k accuracy degrades relative to the base model. The authors attribute this shrinkage to decision‑point or “forks in the road” scenarios in the fine‑tuning data, where the model faces multiple valid reasoning paths. Controlled experiments confirm a strong correlation between such decision‑point prevalence and coverage loss, and show that targeted data synthesis and diversity‑encouraging decoding can partially mitigate the effect.

By Ngoc-Hieu Nguyen, Parshin Shojaee, Phuc Minh Nguyen, Nan Zhang, Chandan K Reddy, Khoa D Doan, Rui Zhang
arXiv Machine Learning
Oct 23

Interpreting Model Reasoning through Behavioral Counterfactuals

The paper introduces a method for analyzing how interventions in a prompt affect a language model’s reasoning by using behavioral counterfactuals. It trains a module to edit the residual stream so that the next-token distributions for a fixed response match between a source and a counterfactual prompt, outperforming standard activation reconstruction. The resulting attribution maps and visualizations help identify causally important locations for counterfactual recovery and guide hypothesis testing with activation patching, as demonstrated in a case study on Gemma-4-E4B-it and DeepSeek-R1-0528-Qwen3-8B.

By Shawn Im, James Oldfield, Adel Bibi, Sharon Li
arXiv Machine Learning
Jun 16

Pushing the Boundaries of Natural Reasoning: Interleaved Bonus from Formal-Logic Verification

arXiv:2601. 22642v2 Announce Type: replace Abstract: Large Language Models (LLMs) show remarkable capabilities, yet their stochastic next-token prediction creates logical inconsistencies and reward hacking that formal symbolic systems avoid.

By Chuxue Cao, Jinluan Yang, Haoran Li, Kunhao Pan, Zijian Zhao, Zhengyu Chen, Yuchen Tian, Lijun Wu, Conghui He, Sirui Han, Yike Guo
arXiv Computation and Language
Aug 25

GRACE: Step-Level Benchmark for Faithful Reasoning over Context

GRACE is a step‑level benchmark for evaluating the faithfulness of chain‑of‑thought reasoning over context. It provides human annotations for each step in CoT traces from 10 models across 4 datasets, labeling faithfulness, error category, and natural‑language explanations. The benchmark introduces a data‑driven taxonomy that splits errors into GRACE‑Inference (deductive) and GRACE‑Grounding (factual) tracks, each with four categories, and demonstrates that incorporating step‑level faithfulness signals can improve downstream accuracy and reasoning reliability.

By Hoang Pham, Dong Le, Anh Tuan Luu