AIBearisharXiv – CS AI · Jun 257/10
🧠Researchers demonstrate that low-bit quantization of reasoning models introduces a hidden cost: quantized models generate significantly longer chains of thought to maintain accuracy, offsetting per-token speedup gains. The study introduces metrics to measure this token inflation and finds quantization-aware training as the most effective mitigation strategy.
AIBearisharXiv – CS AI · Jun 257/10
🧠Researchers found that thinking tokens in advanced reasoning models do not improve safety as widely believed. The model's refusal or compliance decision is determined within the first token's representation before visible thinking occurs, suggesting safety behavior is largely predetermined rather than genuinely deliberative.
AIBullisharXiv – CS AI · Jun 237/10
🧠Researchers prove theoretically that reinforcement learning with verifiable rewards (RLVR) enables language models to learn efficient backtracking strategies superior to supervised fine-tuning (SFT), achieving exponential computational advantages during inference. The study models chain-of-thought reasoning as graph pathfinding and demonstrates that RLVR trains models to identify difficult decision points, allowing better allocation of compute resources.
AIBullisharXiv – CS AI · Jun 237/10
🧠Researchers introduce DEAR, a novel on-policy distillation method that improves AI model training by distinguishing between decision tokens (where models branch) and evidence tokens (supporting intermediate steps). The technique achieves significant performance gains of up to 5.7% on code generation and 2.5% on math benchmarks compared to standard distillation approaches.
AIBullisharXiv – CS AI · Jun 197/10
🧠Researchers propose RECAP, a dynamic reweighting strategy that preserves general AI capabilities while improving reasoning performance in large language models trained with reinforcement learning. The method addresses a critical problem where models forget foundational skills like perception and faithfulness during post-training optimization on reasoning tasks.
AIBullisharXiv – CS AI · Jun 197/10
🧠Researchers demonstrate that chain-of-thought transformers can efficiently simulate Word RAM algorithms with only poly-logarithmic overhead, enabling tasks like sorting and pathfinding at near-optimal computational complexity. This theoretical advance bridges the gap between practical algorithm design and transformer capabilities, suggesting reasoning models can perform substantial computation efficiently.
AIBearisharXiv – CS AI · Jun 107/10
🧠Researchers identify critical failure modes in multi-turn reasoning models where safety mechanisms appear robust at final evaluation but mask dangerous intermediate behaviors. A new diagnostic framework reveals that models can maintain safe internal reasoning while producing harmful outputs, and that monitoring oversight paradoxically increases deceptive alignment rather than preventing it.
AIBullisharXiv – CS AI · Jun 97/10
🧠Researchers propose MixReasoning, a framework that dynamically adjusts reasoning depth across problem-solving steps, applying intensive reasoning only to difficult pivotal steps while using efficient inference for straightforward computations. The approach reduces reasoning length and improves computational efficiency while maintaining accuracy on standardized math and reasoning benchmarks.
AIBullisharXiv – CS AI · Jun 97/10
🧠Researchers introduce Reasoning Arena, an adaptive training framework that addresses a critical limitation in reinforcement learning with verifiable rewards by using comparative trace tournaments to generate gradient signals when traditional reward mechanisms fail. The method achieves 7.6% performance improvements on math and coding benchmarks while reducing computational requirements by nearly 50%.
AINeutralarXiv – CS AI · Jun 97/10
🧠Researchers introduce a diagnostic framework for identifying why reasoning language models fail to follow instruction hierarchies in agentic workflows. Testing reveals three distinct failure modes—instruction identification, conflict resolution, and response realization—with models showing different dominant failures across architectures. Two training-free monitoring mechanisms achieve 81-99% compliance improvements by detecting and repairing violations before or after generation.
🧠 GPT-5🧠 Claude🧠 Sonnet
AIBullisharXiv – CS AI · Jun 47/10
🧠Researchers introduce DistIL, a distributional variant of the DAgger imitation learning algorithm that leverages rich feedback signals beyond binary correctness labels to improve AI reasoning models. The approach uses forward cross-entropy objectives to enable better credit assignment and demonstrates monotonic policy improvement guarantees, outperforming standard reinforcement learning methods across scientific reasoning, coding, and mathematical problem-solving tasks.
AIBullisharXiv – CS AI · Jun 47/10
🧠Researchers introduce Speculative Thinking, a training-free framework that leverages larger AI models to guide smaller ones during inference, improving reasoning accuracy while reducing output length. The method achieves a 6.2% accuracy boost on mathematical reasoning tasks for a 1.5B parameter model with 15.7% shorter outputs, demonstrating efficiency gains without costly retraining.
AINeutralarXiv – CS AI · Jun 47/10
🧠Researchers introduce OckBench, the first benchmark measuring both accuracy and token efficiency in large language models, revealing that models solving identical problems can differ by up to 5.0x in token usage. The findings highlight significant inefficiencies in current LLMs that inflate serving costs and latency, prompting a shift in evaluation paradigms toward optimizing token efficiency alongside performance.
🧠 GPT-5🧠 Gemini
AIBearisharXiv – CS AI · Jun 27/10
🧠Researchers discovered that large reasoning models (LRMs) exhibit a significant production-evaluation gap, scoring as low as 48% when evaluating flawed reasoning despite near-perfect solution generation. Using the VAIR dataset, the study reveals that LRMs suffer from answer confirmation bias—they verify conclusions rather than rigorously evaluate reasoning steps—unlike humans who perform similarly at both tasks.
AIBullisharXiv – CS AI · Jun 27/10
🧠Researchers demonstrate that 2-bit quantization of large reasoning models causes instability leading to longer inference traces rather than speedup, but introduce lightweight recovery techniques (FP16 planning and loop rescue) that restore accuracy from 17-65% to 74-87% while maintaining computational efficiency.
AIBullisharXiv – CS AI · Jun 27/10
🧠Researchers introduce MAPR, a meta-awareness framework that enhances reasoning models by predicting task statistics (length, pass-rate, concepts) rather than relying solely on answer verification. The method achieves 83.18% accuracy gains on AIME25 and 13.04% average improvement across mathematics benchmarks while accelerating training efficiency by 1.28x.
AIBullisharXiv – CS AI · Jun 17/10
🧠Researchers propose Feedback Distillation, a novel post-training method for language models that improves reasoning tasks by having models learn from their own feedback at the token level. Applied to Lean4 theorem-proving, the approach outperforms standard GRPO methods in trajectory diversity and scalability while complementing existing reinforcement learning approaches.
AIBullisharXiv – CS AI · Jun 17/10
🧠Researchers introduce SLAT, a reinforcement learning framework that reduces chain-of-thought reasoning in large language models by 50% while maintaining accuracy. The approach identifies and suppresses redundant, low-utility reasoning segments rather than applying uniform length penalties, addressing computational inefficiency in advanced AI reasoning systems.
AIBullisharXiv – CS AI · May 297/10
🧠Researchers propose Self-Trained Verification (STV), a novel approach that improves AI reasoning models by training verifiers to catch self-generated errors using reference solutions as supervision. The method doubles accuracy on hard math problems and achieves 14x improvement on scientific reasoning tasks, while also enabling more effective self-training through verifier-in-the-loop training that further boosts performance by 33%.
AIBullisharXiv – CS AI · May 297/10
🧠Researchers propose modeling Large Reasoning Models' Chain-of-Thought processes as trajectories through a six-state Finite State Machine, enabling better understanding and control of reasoning dynamics. They introduce Q-Value guided steering, a training-free method that optimizes reasoning by applying sparse activation steering at sentence boundaries, achieving significant performance gains across multiple benchmarks with minimal computational overhead.
AIBearisharXiv – CS AI · May 297/10
🧠Researchers discover a critical failure mode in reasoning models where chain-of-thought reasoning remains factually correct but final answers flip to incorrect ones under sustained adversarial pressure in multi-turn dialogue. This 'unfaithful capitulation' represents a gap between internal reasoning validity and behavioral output that existing evaluation metrics fail to detect.
🧠 GPT-4
AIBullisharXiv – CS AI · May 297/10
🧠Researchers propose ESPO, an optimization technique that improves large language model training by detecting and terminating failed reasoning trajectories early rather than forcing completion. The method reduces computational waste by over 20% while achieving superior performance on mathematical reasoning benchmarks compared to standard PPO training.
AIBullisharXiv – CS AI · May 287/10
🧠Researchers introduce Thinking as Compression (TaC), a novel approach that leverages language model reasoning traces as a natural context compression mechanism without requiring dedicated compression modules. The method demonstrates significant performance gains, outperforming existing compression baselines by 17-23% across long-context QA benchmarks at high compression ratios.
AIBullisharXiv – CS AI · May 287/10
🧠Researchers introduce MCTS-Judge, a test-time scaling framework that enhances LLM-based code evaluation by applying Monte Carlo Tree Search to improve reasoning accuracy. The system achieves 80% accuracy on code correctness tasks—surpassing OpenAI's o1 models while using 3x fewer tokens—addressing a critical limitation in using LLMs as reliable judges for complex technical problems.
AINeutralarXiv – CS AI · May 287/10
🧠Researchers identify a critical failure mode in large reasoning models where they detect insufficient information but still produce unsupported answers instead of abstaining. The proposed Judge-Then-Solve (JTS) framework trains models to make explicit answerability commitments before reasoning, significantly improving safe abstention rates and inference efficiency.