News / #reasoning Tag Reasoning 500 articles archived under #reasoning · RSS Sign in to follow arXiv — NLP / Computation & Language research 2d ago FaithformBench: Benchmarking Faithfulness of Mathematical Chain-of-Thought Autoformalisation arXiv:2608.10916v1 Announce Type: new Abstract: Autoformalisation (AF) systems map natural language reasoning steps into formal statements in a proof assistant such as Lean. We consider how to assess the faithfulness of these systems. Existing approaches require expensive… 37 arXiv — NLP / Computation & Language research 2d ago MUSE: A Full-Text Cross-Domain Knowledge Base of Scientific Problems, Solutions, and Rationales arXiv:2608.10974v1 Announce Type: new Abstract: Scientific papers contain fine-grained records of problem solving: authors mention technical obstacles and methods that were used to address them, often along with reasoning on why those methods were chosen. We introduce MUSE… 32 arXiv — NLP / Computation & Language research 2d ago InSight-doc: Agentic Visual Perception for Long-Document Understanding arXiv:2608.10628v1 Announce Type: cross Abstract: Long-document understanding often requires reasoning over many visually rich pages, making inference costly and prone to context rot. In this work, we propose InSight-doc, an agentic visual perception framework that treats visual… 17 arXiv — NLP / Computation & Language research 2d ago ENTLORE: A Graph-Grounded Benchmark for Latent Organizational Reasoning in Enterprise Question Answering arXiv:2608.10679v1 Announce Type: cross Abstract: Enterprise question answering is framed as retrieving internal documents and generating grounded answers. Routine enterprise records, however, are work by-products in which required organizational relations remain implicit across… 7 arXiv — NLP / Computation & Language research 2d ago Order Matters: LVLMs as Judges for Temporal Reasoning in Image Sequences arXiv:2608.10908v1 Announce Type: cross Abstract: As generative multimedia evolves from static image synthesis to complex, interleaved visual narratives, a foundational bottleneck has emerged: the judgment crisis. While human perception naturally synthesizes the temporal and… 38 Hugging Face Daily Papers research 2d ago JigShape: Evaluating Visual-Geometric Reasoning in VLMs through Jigsaw Puzzles Abstract A new jigsaw benchmark with interlocking pieces reveals that vision-language models fail at geometric reasoning and suffer a sharp performance drop as puzzle size increases. Generated by thinkingmachines/Inkling-Small Jigsaw puzzle solving requires jointly reasoning… 7 Hugging Face Daily Papers research 2d ago The Next Screenshot Knows: Gated Hindsight Distillation for Mobile GUI Agents Abstract Gated Hindsight Distillation improves GUI agent training by using future screenshots as privileged evidence to recover correct reasoning when standard imitation fails. Generated by thinkingmachines/Inkling-Small GUI agents are commonly trained offline from successful… 21 Vercel — AI dev-tools 2d ago Grok 4.6 now available on AI Gateway Grok 4.6 from SpaceXAI is now available on AI Gateway . The model has a 500K token context window and accepts text and image inputs. Grok 4.6 supports low, medium, high, and xhigh reasoning levels and defaults to high. To use Grok 4.6, set model to xai/grok-4.6 in the AI SDK :… 29 Simon Willison community 2d ago Stealing Reasoning Traces from Proprietary LLM APIs Stealing Reasoning Traces from Proprietary LLM APIs A vanity domain name ( stolen-thoughts.com ) for a neat paper : Anthropic, OpenAI, and Google return encrypted chain-of-thought blocks to clients that can be replayed across sessions, users, and models. We take a trace produced… 8 Simon Willison community 2d ago Stealing Reasoning Traces from Proprietary LLM APIs Stealing Reasoning Traces from Proprietary LLM APIs A vanity domain name ( stolen-thoughts.com ) for a neat paper : Anthropic, OpenAI, and Google return encrypted chain-of-thought blocks to clients that can be replayed across sessions, users, and models. We take a trace produced… 22 LangChain releases dev-tools 2d ago langchain-anthropic==1.5.5 Changes since langchain-anthropic==1.5.4 release(anthropic): 1.5.5 ( #39597 ) fix(anthropic): report reasoning tokens in usage metadata ( #39590 ) fix(anthropic): fix KeyError on rename in Claude file-tool middleware ( #39293 ) chore(model-profiles): refresh model profile data (… 8 r/LocalLLaMA community 2d ago Encrypted reasoning from ClosedAI et al 100% recoverable Interesting examples in the link Paper here: https://arxiv.org/abs/2608.09867 This is your prompt to go out and give us 10mil rows of Opus 5 traces on hf before they fix this workaround   submitted by   /u/Dany0 [link]   [comments] 21 Hugging Face Daily Papers research 2d ago SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification Abstract SymDiag reframes reasoning verification as structured failure diagnosis by translating chain-of-thought into symbolic constraints, performing step-level satisfiability checks, and disentangling translation errors from reasoning errors to provide verifiable diagnostic… 17 Hacker News — AI on Front Page community 2d ago Stealing Reasoning Traces from Proprietary LLM APIs Article URL: https://stolen-thoughts.com/ Comments URL: https://news.ycombinator.com/item?id=49257876 Points: 283 # Comments: 103 11 NVIDIA Developer Blog official-blog 2d ago NVIDIA Nemotron 3.5 Lightning Delivers Fast, Accurate Specialized Task Execution for Long-Running Agents Long-running AI agents spend most of their time on high-volume execution: tool calls, result validation, and subagent delegation. Using a frontier reasoning... 34 Hugging Face Daily Papers research 3d ago BDH-CQ: In-Context Learning with Recurrent Latent Reasoning Abstract A 150M-parameter reasoning model using recurrent latent reasoning and in-context learning achieves a new cost-accuracy frontier on ARC-AGI-1. Generated by thinkingmachines/Inkling-Small We introduce BDH-CQ, a reasoning model that combines in-context learning with… 20 r/LocalLLaMA community 3d ago Luth-2: New State-of-the-Art French Small Language Models Hey everyone, Today we release Luth-2-0.8B and Luth2-2-2B , two non-reasoning models that set a new state of the art for French across a wide variety of tasks for their size 🚀 A few notable scores on French benchmarks compared to models 〜3 times their size: - Luth-2-2B scores… 31 Hugging Face Daily Papers research 3d ago CEAA: A Cognitive Embodied Agents Architecture for Interactive Computing Systems Abstract A modular cognitive architecture integrates high-level reasoning models with real-time embodied execution for scalable intelligent virtual agents in interactive 3D environments. Generated by thinkingmachines/Inkling-Small The development of embodied Intelligent Virtual… 18 Hugging Face Daily Papers research 3d ago Stealing Reasoning Traces from Proprietary LLM APIs Abstract Encrypted reasoning traces shared across sessions and models can be intercepted and injected into weaker models to extract proprietary reasoning, private data, hidden hazards, and hidden prompts. Generated by thinkingmachines/Inkling-Small Leading large language model… 11 Ollama releases dev-tools 3d ago v0.32.9: nemotron_h: support the Nemotron 3.5 prompt layout Select the 3.5 parser and renderer from its checkpoint template, preserve its prompt semantics, and map medium reasoning effort to the final-user annotation expected by the reference template. Exercise parser and renderer registration, create-time metadata inference, and exact… 12 arXiv — Machine Learning research 3d ago Evolving Safety Landscape of Multi-modal Large Language Models: A Survey of Emerging Threats and Safeguards arXiv:2608.07535v1 Announce Type: new Abstract: Multi-modal large language models (MLLMs) integrate heterogeneous modalities through modality alignment and fusion, enabling stronger understanding and reasoning. However, this architectural shift reshapes the safety landscape of… 21 arXiv — Machine Learning research 3d ago CommitKV: Lifecycle-Aware KV Cache Compression via Commit Transitions for Multi-Turn Agents arXiv:2608.07855v1 Announce Type: new Abstract: Multi-turn Reasoning-and-Acting (ReAct) agents accumulate growing trajectories of reasoning, tool calls, and observations. Their key-value (KV) caches grow accordingly, increasing memory use and attention cost during model… 32 arXiv — Machine Learning research 3d ago Quality-Diversity Stress Tests for Process Reward Models:What Archive Coverage Can and Cannot Certify arXiv:2608.08008v1 Announce Type: new Abstract: Process reward models (PRMs) score intermediate reasoning steps and are widely used for search, ranking, and training, but optimization can exploit these learned proxies by increasing reward while turning correct reasoning into… 15 arXiv — Machine Learning research 3d ago Control-Diverse Reinforcement Fine-Tuning: Decoupling the Shared Control Bottleneck of RL Post-Training arXiv:2608.08224v1 Announce Type: new Abstract: Reinforcement learning post-training unlocks complex reasoning in LLMs. Yet benchmark scores reveal only whether a model improved, not what changed inside it, nor how it splits finite capability across tasks. A representative… 32 arXiv — Machine Learning research 3d ago PAST: Privileged Adaptation from Complete Student Trajectories for On-Policy Self-Distillation arXiv:2608.08726v1 Announce Type: new Abstract: On-policy self-distillation (OPSD) uses a privileged teacher to supervise a reasoning model on prefixes sampled from its own rollouts. Yet each rollout also reveals how the student's response unfolds and whether it succeeds,… 12 arXiv — Machine Learning research 3d ago Learning from Consensus and Disagreement: Unsupervised On-Policy Self-Distillation with Minority-Trajectory Contrast arXiv:2608.08764v1 Announce Type: new Abstract: On-policy self-distillation improves language-model reasoning by querying a teacher on states actually visited by the student. Recent methods create a powerful information asymmetry by exposing the teacher to privileged context,… 5 arXiv — NLP / Computation & Language research 3d ago Thinking Hard, Not Smart: Reasoning Models Fail to Ration Test-Time Compute Across Questions arXiv:2608.07968v1 Announce Type: new Abstract: Reasoning language models increasingly use test-time compute to improve performance, but existing evaluations typically study this compute one question at a time. Yet when multiple problems share an end-to-end cost or latency… 33 arXiv — NLP / Computation & Language research 3d ago Thinking vs. NoThinking: Towards Interpreting Reasoning Mechanisms of Large Language Models via Sparse Autoencoders arXiv:2608.08168v1 Announce Type: new Abstract: While Large Language Models (LLMs) employing Chain-of-Thought (CoT) exhibit superior reasoning capabilities, the neural mechanisms distinguishing this explicit Thinking mode from direct answer generation (NoThinking mode) remain… 29 arXiv — NLP / Computation & Language research 3d ago Hidden Language Consistency Phenomena in Reasoning LLMs arXiv:2608.08447v1 Announce Type: new Abstract: Multilingual reasoning models are commonly evaluated by whether they arrive at the correct answer, but not by whether they preserve the intended language while reasoning and responding. This omission conceals important multilingual… 18 arXiv — NLP / Computation & Language research 3d ago Calling the Bluff: Detecting Ever-Shifting Harmful Chat Dialogue via Ordered Reasoning Chain Regularization arXiv:2608.08451v1 Announce Type: new Abstract: Harmful chat dialogues are ever-shifting through type-shifting and lexical evasion, yet we find they share invariant principles, i.e., an Ordered Reasoning Chain (ORC) of recurring topics, harm language indicators, severity… 22 arXiv — NLP / Computation & Language research 3d ago VectraYX-Vision-1B: A Sub-2B Spanish/LATAM Cybersecurity Vision-Language Model with Structured Visual Reasoning and Native Tool Use arXiv:2608.08477v1 Announce Type: new Abstract: We present VectraYX-Vision-1B, a sub-2B vision-language model (VLM) for Spanish/LATAM cybersecurity imagery, coupling a frozen SigLIP-so400m encoder to a 1.04B Spanish/LATAM security decoder via an MLP. To our knowledge, it is the… 9 arXiv — NLP / Computation & Language research 3d ago When Confidence Fails: Overconfidence in LLMs under Uncertainty and Missing Clinical Information arXiv:2608.09080v1 Announce Type: new Abstract: Large Language Models (LLMs) have achieved strong performance in medical question answering and clinical reasoning tasks. However, their reliability under uncertainty remains poorly understood which raises critical concerns for… 4 arXiv — NLP / Computation & Language research 3d ago Social Gym and SPaRTan: Benchmarking and Improving LLM Social Reasoning via Multi-Agent Game Tournaments arXiv:2608.09128v1 Announce Type: new Abstract: LLM agents are increasingly deployed in multi-agent social settings where they must cooperate, negotiate, and adapt to other agents. Measuring and improving these social skills is hard because, unlike math or logic, social… 29 arXiv — NLP / Computation & Language research 3d ago Verifiably grounded machine interpretation of lunar geology arXiv:2608.09276v1 Announce Type: new Abstract: Planetary geology relies on historical, interpretive reasoning to reconstruct past events from diverse observations. Here, we present a step toward an automated "machine intelligence geologist" by embedding this distinct… 33 Hugging Face Daily Papers research 3d ago Motif 3: Technical Report Abstract Motif 3 is a large sparse mixture-of-experts language model using grouped differential latent attention and specialized training techniques to achieve strong reasoning, coding, and long-context performance. Generated by thinkingmachines/Inkling-Small We introduce Motif… 16 Hugging Face Daily Papers research 3d ago Sci-VBench: Evaluating Knowledge- and Reasoning-Intensive Video Generation in Science Domains Abstract Sci-VBench evaluates video generation requiring scientific reasoning across disciplines, revealing that visual realism advances have not ensured accurate scientific and causal dynamics. Generated by thinkingmachines/Inkling-Small We introduce Sci-VBench, a comprehensive… 19 Hugging Face Daily Papers research 3d ago SPOT: Sparse Probing and Outcome Calibration for On-Policy Distillation Abstract SPOT improves on-policy distillation by selectively probing uncertain positions and calibrating targets to downstream outcomes, boosting reasoning quality and coverage. Generated by thinkingmachines/Inkling-Small On-policy distillation (OPD) provides dense teacher… 19 Hugging Face Daily Papers research 3d ago Evidence-RL: Towards Evidence-intensive Visual Reasoning Abstract Counterfactual Evidence Disentanglement improves vision-language model grounding by auditing whether answers causally depend on local visual evidence during reinforcement learning post-training. Generated by thinkingmachines/Inkling-Small Vision-Language Models (VLMs)… 13 r/LocalLLaMA community 3d ago Observations on Muse-Glimmer reasoning traces being noticeably different from qwen / gemma models and questions for you guys Just downloaded the model, UD-Q5_K_XL quant, asked it to generate a long story to test out reasoning and speed with dflash (super fast btw, ~ 90 to 160 tok/s on a 5090 depending on task) and was surprised at the reasoning traces, they are so unlike anything i've seen recently… 5 r/LocalLLaMA community 3d ago Tested Muse Glimmer locally on coding with OpenCode & agentic work Ran the model with quants (Q4) by Unsloth with latest (build from master) llama.cpp server. It takes ~20GB ram running on M5 Pro with 48GB at about 17t/s. Didn't do any reasoning loops/overthinking. Overall, sits below Qwen3.6 27B, wasn't able to get good code (frontend and… 30 Hugging Face Daily Papers research 4d ago OneEmo: A Unified Multimodal Reasoning Model for Emotion Perception, Understanding, and Interaction Abstract Multimodal Large Language Models (MLLMs) have demonstrated remarkable capabilities in emotional intelligence. However, prevailing research predominantly focuses on task-specific specialization, often neglecting inter-task synergy and leaving latent reasoning potential… 35 MIT Technology Review — AI news-outlet 4d ago AI for science needs reasoning, not just data Every few decades, someone announces that science has reached its end. In 1903, the revered physicist Albert Michelson wrote that the “facts of physical science have all been discovered.” In the 1980s, Stephen Hawking predicted that theoretical physics might be finished by the… 17 Hugging Face Daily Papers research 4d ago Capek 0.5: An Execution-Centric Vision-Language Model for Embodied Intelligence Abstract Vision-language models are increasingly serving as the reasoning core of embodied agents. Robot execution is inherently iterative: each action reshapes the scene and physical state, continually renewing what must be perceived, reasoned about, and verified. Meeting these… 25 Hugging Face Daily Papers research 4d ago SFT Conflicts, RL Coexists: A Theoretical and Empirical Analysis of Multi-Task Learning for LLMs Abstract Supervised Fine-Tuning (SFT) and Reinforcement Learning (RL) exhibit fundamentally different behaviors in enhancing multi-task reasoning for large language models (LLMs). Our preliminary experiments revealed a phenomenon: SFT suffers from severe task conflicts under… 17 Hugging Face Daily Papers research 4d ago The Optimizer Is the Agent: Reasoning-Driven Search across Prompts, Programs, and ML Workflows Abstract Recent systems for optimizing prompts, programs, and ML workflows typically rely on explicit outer-loop controllers such as evolutionary search, bandits, or textual-gradient methods. We ask a fundamentally different question: how much of this search policy can be… 27 Smol AI News news-outlet 4d ago not much happened today **Frontier API vulnerability** revealed exposure of hidden reasoning traces including sensitive data like **62 unique API keys** and **33 passwords**, raising privacy and operational-security concerns. Discussions highlighted the risks of public trace sharing and challenges in… 8 Hugging Face Daily Papers research 4d ago Reinforcement Learning with Evolving Rubrics as Rewards for Audio Reasoning Abstract Audio reasoning is essential for machine understanding of the acoustic world. Reinforcement learning with verifiable rewards can elicit such reasoning, yet existing reward designs are complementary in their limitations: outcome-based rewards supervise only the final… 18 arXiv — Machine Learning research 4d ago Solver-Guided Reasoning for Mixed-Equilibrium Strategies arXiv:2608.06741v1 Announce Type: new Abstract: Reasoning in large language models (LLMs) is often grounded in human text, human demonstrations, and human-generated rationales. For equilibrium reasoning in complex games, however, relying on human data can be suboptimal. In fact,… 22 arXiv — Machine Learning research 4d ago Graph Machine: Exploring Edge Mechanisms as an Inductive Bias arXiv:2608.06834v1 Announce Type: new Abstract: Transformers provide a powerful architecture for global content-based matching, but reasoning problems may benefit from a stronger inductive bias toward iterative traversal of latent relations. We introduce Graph Machine, an… 38 arXiv — NLP / Computation & Language research 4d ago NTDH: Complex Reasoning for Comprehensive Affective Analysis arXiv:2608.06425v1 Announce Type: new Abstract: Comprehensive affective analysis is challenging for two reasons: it spans heterogeneous prediction tasks with continuous, ordinal, and multi-label outputs, and affective meaning is context-dependent, requiring conflicting cues to… 9 Page 2 of 10 · 500 articles ← Newer Older →