Search: “models”

Evidence-Grounded Verified Agentic Reasoning: A Path Toward Eliminating LLM Hallucination in Empirical Inference via Tool-Attested Kernel Proofs

arXiv:2607.12650v1 Announce Type: cross Abstract: Tool access alone does not make LLM empirical reasoning governable: accepted outputs need not descend from attested evidence, and accepted deductions

agentsarxiv-cs-ai

Local Ai

ExLlamaV3 v1.0.0 - Major Performance Upgrades

DGX agent

After over a year in development, ExLlamaV3 has had its first production release. Turboderp has been pulling 10 hour days with Fable to bring us this massive batch of improvements. Check out detailed

local-air-localllama

15 Jul 2026

Expert Knowledge-driven Reinforcement Learning for Autonomous Racing via Trajectory Guidance and Dynamics Constraints

arXiv:2603.05842v2 Announce Type: replace Abstract: Reinforcement learning has demonstrated significant potential in the field of autonomous driving. However, it suffers from defects such as training

safetyarxiv-cs-ro

ExtraGS: Enhancing Endoscopic View Extrapolation via Diffusion-Guided 3D Gaussian Splatting

arXiv:2607.12785v1 Announce Type: new Abstract: Robot-assisted minimally invasive surgery (MIS) critically depends on reliable endoscopic perception for navigation and safety. However, conventional en

safetyarxiv-cs-cv

Tutorials

Fisher Rank Inflation: A Spectral Signature of Memorization under Label Noise

arXiv:2607.12438v1 Announce Type: new Abstract: Deep networks trained with label noise often learn clean structure before memorizing corrupted labels. We show that this transition leaves a spectral si

tutorialsarxiv-cs-lg

Flatness-Preserving Residual Learning for Real-Time Tight Quadrotor Formation Flight

arXiv:2607.12275v1 Announce Type: new Abstract: Quadrotors flying in tight formations are severely affected by turbulent aerodynamic interactions, such as downwash, that can cause catastrophic collisi

researcharxiv-cs-ro

From Geometric Recovery to Causal Validation: A Reproducible Audit of Sparse Autoencoder Features, from Superposition Geometry to Causal Inertness

arXiv:2607.12166v1 Announce Type: new Abstract: Sparse autoencoders (SAEs) are the standard for decomposing superposed neural representations into interpretable features, and evaluation relies predomi

G-SHARE: A Guideline-Based Structured Reasoning Framework for Human-Factor Event Diagnosis

arXiv:2607.11892v1 Announce Type: cross Abstract: Human-factor event diagnosis is essential for learning from operational events in nuclear power plants, yet its quality depends strongly on expert int

Git-Assistant: Planning-Based Support for Updating Git Repositories

arXiv:2607.09224v2 Announce Type: replace-cross Abstract: Version control systems are essential for collaborative software development, yet tools like git remain challenging for many practitioners. Re

Good Benchmarks

arXiv:2607.12217v1 Announce Type: new Abstract: Good tasks are correct, solvable, verifiable, well-specified, and hard for interesting reasons. The best tasks describe a real problem an experienced pr

Gradient Flow Dynamics and Implicit Bias of Diagonal Linear Networks under Infinitesimal Initialization

arXiv:2607.12332v1 Announce Type: new Abstract: We study the gradient flow dynamics of diagonal linear networks for regression tasks under infinitesimal initialization. Extending Theorem 1 from Pesme

Graph-Based Detection of Disinformation Narrative Diffusion between Russian and Ukrainian Telegram Channels

arXiv:2607.11894v1 Announce Type: cross Abstract: Detecting disinformation narratives on social media is challenging due to the scale of amplification, rapid evolution, and linguistic variability of o

https://docs.ollama.com/integrations/opencode https://opencode.ai/docs/providers/#ollama

The Ollama integration for OpenCode is documented on the Ollama website (https://docs.ollama.com/integrations/opencode) and the OpenCode provider page (https://opencode.ai/docs/providers/#ollama). The

local-aiollama--x

Implicit 4D Gaussian Splatting for Fast Motion with Large Inter-Frame Displacements

arXiv:2607.12362v1 Announce Type: new Abstract: Recent 4D Gaussian Splatting (4DGS) methods often fail under fast motion with large inter-frame displacements, where Gaussian attributes are poorly lear

Improving Autonomous Nano-drones Performance via Automated End-to-End Optimization and Deployment of DNNs

arXiv:2607.12593v1 Announce Type: cross Abstract: The evolution of energy-efficient ultra-low-power (ULP) parallel processors and the diffusion of convolutional neural networks (CNNs) are fueling the

agentsarxiv-cs-ro

Inhibited Self-Attention: Sharpening Focus in Vision Transformers

arXiv:2607.12881v1 Announce Type: new Abstract: Vision Transformers (ViTs) have demonstrated remarkable performance in computer vision tasks. However, their self-attention mechanism often diffuses foc

Instance-Enriched Semantic Maps for Visual Language Navigation

arXiv:2607.12630v1 Announce Type: cross Abstract: Visual Language Navigation (VLN) aims to enable an embodied agent to navigate complex environments by following natural language instructions. Recent

agentsarxiv-cs-cv

JADE: Expert-Grounded Dynamic Evaluation for Open-Ended Professional Tasks

arXiv:2602.06486v4 Announce Type: replace Abstract: Evaluating agentic AI on open-ended professional tasks faces a fundamental dilemma between rigor and flexibility. Static rubrics provide rigorous, r

Learning an Interpretable Risk Scoring System for Maximizing Decision Net Benefit

arXiv:2604.04241v2 Announce Type: replace Abstract: Risk scoring systems are widely used in high-stakes domains to assist decision-making. However, existing approaches often focus on optimizing predic

Learning and Testing Convex Functions

arXiv:2511.11498v2 Announce Type: replace-cross Abstract: We consider the problems of learning and testing real-valued convex functions over Gaussian space. Despite the extensive study of function con

Learning the Graphical Nature of Symmetries

arXiv:2607.12026v1 Announce Type: cross Abstract: Finite groups are rigid algebraic objects, whose Cayley graphs expose a rich network geometry through which group-theoretic structure can be measured,

Mathematics of Data Science

arXiv:2607.11938v1 Announce Type: cross Abstract: This book is about the mathematical foundations of data science. 1. Introduction 2. Curses, Blessings, and Surprises in High Dimensions 3. Singular Va

MUSA-PINN: Multi-scale Weak-form Physics-Informed Neural Networks for Fluid Flow in Complex Geometries

arXiv:2603.08465v3 Announce Type: replace Abstract: While Physics-Informed Neural Networks (PINNs) offer a mesh-free approach to solving fluid-flow PDEs, standard point-wise residual minimization suff

Hardware

New in Together GPU Clusters: Reliability and control for production GPU clusters

Together GPU Clusters now includes a suite of resilience and operational‑control features designed to address common large‑scale failure modes and team‑scaling challenges. The platform‑health improvem

hardwaretogether-ai-blog

NEW paper from Microsoft and colleagues. Debugging agent trajectories at scale is challenging. This is a clever approach to monitor and impr…

NEW paper from Microsoft and colleagues. Debugging agent trajectories at scale is challenging. This is a clever approach to monitor and improve agents in production. The problem: Finding which step in

agentsdair-ai--x

NVIDIA Introduces New Jetson Thor Computers to Advance Mainstream Robotics and Edge AI

General-purpose robots and autonomous machines are moving from research labs to real-world mass-market deployment, creating demand for compact, power-efficient AI supercomputers capable of running fou

local-ainvidia-blog

On-Device Deep Research at 4B: Exposure Bounds Faithfulness, Retrieval Bounds Coverage

arXiv:2607.12257v1 Announce Type: new Abstract: On-device research agents search a corpus, read sources, and write a cited brief on a personal laptop. Whether their citations are faithful, and at what

local-aiarxiv-cs-ai

Overview of Cross-Component In-loop Filters in Video Coding Standards

arXiv:2607.12186v1 Announce Type: new Abstract: In-loop filters have been comprehensively explored during the development of video coding standards due to their remarkable noise-reduction capability.

Policy-Conditioned Constrained Decoding for Column-Level Access Control in Text-to-SQL

arXiv:2607.12341v1 Announce Type: new Abstract: Text-to-SQL is increasingly deployed across trust boundaries between data providers and users. Such deployment must balance three competing requirements

safetyarxiv-cs-cl

QUBO-Optimized Evidence Selection for Retrieval-Augmented Question Answering with Unconventional Solvers

arXiv:2607.12334v1 Announce Type: new Abstract: Retrieval-augmented question answering depends on selecting evidence passages that jointly support answer generation. However, many RAG pipelines rely o

researcharxiv-cs-cl

RegHead: Non-Humanoid Head Blendshapes via Feed-Forward Registration

arXiv:2607.12206v1 Announce Type: new Abstract: We present RegHead, a framework for constructing semantic blendshape sets for animatable non-humanoid head avatars. With a fixed expression vocabulary,

local-aiarxiv-cs-cv

Representation and Reference Selection in Training-Free Synthetic Image Attribution

arXiv:2607.12052v1 Announce Type: cross Abstract: Synthetic image attribution aims at identifying the generator responsible for a given AI-generated image. Training-free reference-based attribution me

Scalable Optimal Transport Algorithm for Network Alignment

arXiv:2607.11952v1 Announce Type: new Abstract: Network alignment identifies node correspondences across different networks and is a fundamental primitive in many data science applications, including

Seeing Globally, Refining Locally: Global Visual Guidance and Local Ultrasound Cues for Robust Freehand 3-D Ultrasound Reconstruction

arXiv:2607.12398v1 Announce Type: new Abstract: Freehand 3-D ultrasound (US) imaging has attracted increasing attention owing to its intuitive volumetric visualization, ease of use, and low cost. Howe

local-aiarxiv-cs-cv

Semidirect Fourier Delta Attention: Phase-Controlled Delta Memory with Constructive Chunk-WY Kernels

arXiv:2607.11897v1 Announce Type: new Abstract: Linear attention replaces softmax attention's growing KV cache with a fixed recurrent state, but this compression limits exact state tracking and long-c

SinAE: A Single-Architecture Flow-Matching Autoencoder for Cross-Domain Atomic Systems

arXiv:2607.12380v1 Announce Type: new Abstract: Small molecules, crystals, and proteins all reduce to atoms in 3D space, yet their generative pipelines remain fragmented across domains, each with its

Statistical Non-linear Reconstruction Loss for Image Anomaly Detection

arXiv:2607.12866v1 Announce Type: new Abstract: Reconstruction-based methods are a cornerstone of unsupervised image anomaly detection, but they remain vulnerable to outlier leakage, where standard me

Streamlining stereo differentiable rendering for marker-free real-time tracking of surgical robots

arXiv:2607.12604v1 Announce Type: new Abstract: Purpose: Marker-based tracking of surgical robots is occlusion-prone in cluttered operating rooms. We evaluate stereo differentiable rendering for marke

safetyarxiv-cs-ro

TADPO: Reinforcement Learning Goes Off-road

arXiv:2603.05995v2 Announce Type: replace-cross Abstract: Off-road autonomous driving poses significant challenges such as navigating unmapped, variable terrain with uncertain and diverse dynamics. Ad

The Limits and Potentials of Local SGD for Distributed Heterogeneous Learning with Intermittent Communication

arXiv:2405.11667v2 Announce Type: replace Abstract: Local SGD is a popular optimization method in distributed learning, often outperforming other algorithms in practice, including mini-batch SGD. Desp

Applications

Tilt-Ropter: A Fully Actuated Hybrid Aerial-Terrestrial Vehicle with Tilt Rotors and Passive Wheels

arXiv:2602.01700v3 Announce Type: replace Abstract: In this work, we present Tilt-Ropter, a fully actuated hybrid aerial-terrestrial vehicle (HATV) that integrates tilt rotors with passive wheels to e

applicationsarxiv-cs-ro

Tutorials

UMSS: Towards Unsupervised Multi-modal Semantic Segmentation

arXiv:2607.12372v1 Announce Type: new Abstract: Multimodal semantic segmentation (MSS) is essential for robust perception in complex environments, yet its potential remains largely untapped because of

tutorialsarxiv-cs-cv

Vision-Based Dribbling for Humanoid Soccer via Privileged Representation Learning

arXiv:2607.12702v1 Announce Type: new Abstract: Recent advances in humanoid robotics have highlighted the importance of deployable loco-manipulation skills. Dribbling a soccer ball while evading activ

safetyarxiv-cs-ro

WanToFight: Real-Time Generative Game Engine for Multi-Player Combat Interaction

arXiv:2607.12592v1 Announce Type: new Abstract: We present WanToFight, a generative game engine that simulates real-time, two-player The King of Fighters '97 (KOF~'97) gameplay from keyboard input. Pr

local-aiarxiv-cs-cv

What Does Goodness Measure? A Likelihood-Ratio Account of Forward-Forward Learning

arXiv:2607.12501v1 Announce Type: new Abstract: The Forward-Forward (FF) algorithm trains each layer locally, so that a scalar goodness - the sum of squared activations - is high on real inputs and lo

local-aiarxiv-cs-lg

Win by Silence: Deletion Non-Monotonicity, Autonomous Exploitation, and Typed-State Gating in LLM Plan Evaluation

arXiv:2607.12986v1 Announce Type: new Abstract: Plan evaluators can reward a strategic plan for becoming less explicit. This paper studies that failure in a staged expected-value scorer for LLM-genera

agentsarxiv-cs-ai

Hardware

How to Run an Autoresearch Workflow with RL Agent Skills and NVIDIA NeMo

Autonomous coding agents such as Codex (GPT‑5.5) can fully automate reinforcement‑learning research workflows by provisioning GPU‑hosted environments, orchestrating experiments, and iteratively optimi

hardwarenvidia-developer

14 Jul 2026

Applications

Let’s review the ChatGPT Finance feature👀 TLDR - I don’t think most people need this in its current state. Example financial institutions y…