paper-with-me

홈 › Papers

ReasonOps: Operator Segmentation for LLM Reasoning Traces

2026-05-28 · Daniel Lee, Owen Queen, James Zou arxiv

Chain-of-thought traces from large reasoning models can span tens of thousands of tokens, yet we lack a vocabulary for describing their internal structure. Previous methods developed to analyze chain-of-thought traces are either too rigid or not expressive enough, failing to capture features across domains and models. To remedy this, we develop ReasonOps, an unsupervised, expressive method for annotating chain-of-thought traces, providing succinct universal operators. Using ReasonOps, we analyze 44,662 traces from 12 thinking LLMs spanning 6 families across 8 reasoning benchmarks and discover that they share a common compositional structure: 7 recurring reasoning operators -- discourse-level moves such as backtracking, inferring, and hypothesizing -- that emerge from unsupervised clustering of sentence-initial 3-token pivots. These operators appear across every model family and benchmark domain, confirmed by three independent LLM judges who classify held-out samples at 70 -76% accuracy. We analyze the structure of operators on easy vs. hard problems, revealing that reflective operators are more helpful on hard problems and harm performance on easy problems. Operator sequences are highly model-identifying: a classifier trained on operator distributions alone recovers the source model with macro-AUC, revealing that each model family has a distinctive reasoning fingerprint. Structural operator features predict within-problem answer correctness well above baselines. Classifiers built on these operators reach WP-AUC and on AIME specifically. ReasonOps further enables early quality estimation well before the trace completes: we predict at WP-AUC for only 50% of the trace. The ReasonOps pipeline is unsupervised and annotation-free, enabling deep insights into LLM reasoning traces as well as strong downstream results on model identification and correctness prediction.

📄 PDF Abstract BibTeX arXiv:2605.29192

Code (0)

등록된 구현이 없습니다.

Similar Papers 제목 키워드 기반

ReasonOps: A Unified Operational Paradigm for Trustworthy Verified LLM Reasoning

2026-05-26 · Adnan Rashid arxiv

Large Language Models (LLMs) have transformed artificial intelligence from primarily generative systems into increasingly capable reasoning agents. Recent advances in theorem proving, autoformalization, symbolic reasonin…

Temporal Answer Set Programming on Finite Traces

2018-04-26 · Pedro Cabalar, Roland Kaminski, Torsten Schaub, Anna Schuhmann

In this paper, we introduce an alternative approach to Temporal Answer Set Programming that relies on a variation of Temporal Equilibrium Logic (TEL) for finite traces. This approach allows us to even out the expressiven…

Causal Consistency Regularization: Training Verifiably Sensitive Reasoning in Large Language Models

2025-09-01 · Sanjeda Akter, Ibne Farabi Shihab, Anuj Sharma arxiv

Large language models can produce correct answers while relying on flawed reasoning traces, partly because common training objectives reward final-answer correctness rather than faithful intermediate reasoning. This unde…

Multi-hop Question AnsweringCode GenerationFormal Logic

ThinkProbe: Beyond Accuracy -- Structural Profiling of Open-Ended LLM Reasoning Traces via Non-Generative Thought Graphs

2026-06-27 · Mohamed Amine Kerkouri, Simon D. Hernandez, Marouane Tliba, Yann Dauxais 외 arxiv

We present ThinkProbe, a framework for structural analysis of LLM reasoning traces. ThinkProbe converts each trace into a Thought Graph a directed graph with cycles, 8 node types, and 6 edge types and derives a 19-metric…

FVRuleLearner: Operator-Level Reasoning Tree (OP-Tree)-Based Rules Learning for Formal Verification

2026-03-06 · Lily Jiaxin Wan, Chia-Tung Ho, Yunsheng Bai, Cunxi Yu 외 arxiv

The remarkable reasoning and code generation capabilities of large language models (LLMs) have recently motivated increasing interest in automating formal verification (FV), a process that ensures hardware correctness th…

Code Generation