Search: “inference”

ProofJudge: Tool-Grounded LLM Evaluation of Formal Proof Quality in Mathlib

arXiv:2608.20432v1 Announce Type: cross Abstract: Formal proofs in Lean 4 that pass the kernel's type checker can nonetheless vary widely in quality. We introduce ProofJudge, an agentic LLM-as-judge s

agentsarxiv-cs-ai

Human

Content type

All Blog X Post Paper YouTube Reddit GitHub

Clear filters

Applications

RAG Deserves an Index: Why Ingest-Time Compilation Beats Query-Time Interpretation

DGX agent

arXiv:2608.20845v1 Announce Type: new Abstract: Nearly every retrieval-augmented question-answering system in production ships with a hidden interpreter: on each query a language model re-derives the

applicationsarxiv-cs-ai

24 Aug 2026

RecGen3D: Reconstruction-Guided 3D Generation in a Shared Canonical Space

arXiv:2604.01479v3 Announce Type: replace Abstract: Sparse-view 3D modeling represents a fundamental tension between reconstruction fidelity and generative plausibility. While feed-forward reconstruct

safetyarxiv-cs-cv

ReCurveflow: A Flow Matching Framework that Learns Curved Reaction Trajectories to Predict Transition State Geometries

arXiv:2608.20869v1 Announce Type: new Abstract: Predicting transition states (TS) in chemical reactions is crucial, as they provide insights into reaction mechanisms. Recent work on TS prediction have

Routing Before Looking: Query-Adaptive Evidence Acquisition for Long-form Video Understanding

arXiv:2608.20805v1 Announce Type: new Abstract: Long-form video understanding remains challenging for video agents due to the mismatch between query demands and evidence acquisition strategies. Althou

safetyarxiv-cs-cv

SEISMO: Explanation-Aware, Trajectory-Conditioned LLM Agents for Sample-Efficient Molecular Optimisation

arXiv:2602.00663v3 Announce Type: replace Abstract: Optimizing molecules to achieve desired properties is a central bottleneck across the chemical sciences, particularly in the pharmaceutical industry

agentsarxiv-cs-ai

Applications

SENTRY: Deterministic, Intelligent Risk Assessment for IT Change Management

arXiv:2608.21203v1 Announce Type: new Abstract: Technology change management in large financial institutions depends on risk assessments that are accurate, consistent, and auditable. In practice, many

applicationsarxiv-cs-ai

Socialized Division and Collaboration: Rethinking Class-Incremental Learning under Optimization Conflicts

arXiv:2608.21044v1 Announce Type: new Abstract: Class-incremental learning is commonly instantiated as a single-model paradigm, where a unified model sequentially adapts to an unbounded stream of sess

SPARC: Single-Pass Scaling for Motion Forecasting with Conformal Bayesian Last Layers

arXiv:2608.20802v1 Announce Type: new Abstract: Human motion forecasters are increasingly accurate and fast, but reliable deployment requires uncertainty estimates that are structured, calibrated, and

researcharxiv-cs-ai

SPD Matrix Learning for Neuroimaging Analysis: Perspectives, Methods, and Challenges

arXiv:2504.18882v3 Announce Type: replace-cross Abstract: Neuroimaging provides essential tools for characterizing brain activity, structure, and connectivity through modalities that capture complemen

researcharxiv-cs-ai

StateSight: Benchmarking Latent Spatial-State Reconstruction in Vision-Language Models

arXiv:2608.20414v1 Announce Type: new Abstract: Vision-language models are increasingly used for multimodal question answering, yet their ability to reconstruct latent spatial structure from a single

Testing and Evaluation of Agentic AI Systems In Military Command and Control

arXiv:2608.20597v1 Announce Type: cross Abstract: Agentic AI systems are being procured for military command and control (C2) under public commitments to rigorous testing and human oversight. Whether

agentsarxiv-cs-ai

The Coastline as a Structural Constraint: Harnessing Scene Geometry for Autonomous Surface Vessel Localization

arXiv:2608.21276v1 Announce Type: cross Abstract: Coastal environments contain rich, largely unexploited geometric structure capable of providing globally referenced localization cues. In this work, w

agentsarxiv-cs-cv

Towards Traffic Modelling of Multi-Agent Systems: The Role of Coordination Topology

arXiv:2608.20494v1 Announce Type: cross Abstract: Multi-agent LLM systems are an emerging networked workload whose rapid deployment raises questions about the traffic patterns they generate. Compared

TRACE: Training-time Report-guided and Clinically Ordered Concept Editing

arXiv:2608.20809v1 Announce Type: cross Abstract: Breast ultrasound diagnosis relies on clinically meaningful semantic concepts, yet most deep learning methods adopt end-to-end image-to-label paradigm

Trustworthy RAG: An Evaluation Agent for Detecting Misinformation and Knowledge Poisoning in Generative AI Systems

arXiv:2608.21095v1 Announce Type: cross Abstract: Retrieval-Augmented Generation (RAG) grounds Large Language Model (LLM) outputs in external knowledge, but RAG systems usually trust whatever they ret

Two Heads are Better Than One: Test-time Scaling of Multi-agent Collaborative Reasoning

arXiv:2504.09772v3 Announce Type: replace Abstract: Test-Time Scaling has emerged as a powerful method to extend the reasoning capabilities of Large Language Models. However, single-agent TTS faces si

WA-JEPA: Rethinking the Video JEPA Paradigm for World-Action Modeling in Autonomous Driving

arXiv:2608.20974v1 Announce Type: cross Abstract: Video Joint Embedding Predictive Architecture (V-JEPA) learns powerful spatiotemporal representations from video through self-supervised latent featur

Weighted Memory Tree: Remembering What Matters for Long-Horizon LLM Agents

arXiv:2608.20631v1 Announce Type: new Abstract: Large language model (LLM) agents have demonstrated the ability to solve multi-step tasks requiring planning, tool use, and external information access,

When does fusing hand-crafted knowledge with learned representations pay? A cost-normalized benchmark of stacking, substitution, and interference

model-releasesarxiv-cs-cv

arXiv:2608.21098v1 Announce Type: new Abstract: Fusing prior knowledge with data-driven learning is attractive where data is scarce, yet no controlled account says when it helps, is redundant, or harm

Local Ai

Who would buy HuggingFace

Given OpenRouter.ai was snapped up by Stripe, who do we think would go after the 'GitHib' of AI models? It is a big chunk of change they are looking ($13B). Apple may be a contender to give them a rea

local-air-localllama

Why2Speak: Faithful Reasoning for Abstaining Action Policies

arXiv:2608.20670v1 Announce Type: new Abstract: Many agentic systems must repeatedly choose between acting and abstaining, making faithful reasoning important for oversight: an explanation is useful o

More data than open-source AI is taking share from OpenAI and Anthropic. Open source has gone from 28% token share to 62% token share @verce…

More data than open-source AI is taking share from OpenAI and Anthropic. Open source has gone from 28% token share to 62% token share @vercel over the last 2 months. Chart from @rauchg Super impressiv

researchyann-lecun--x

Mozilla killed orbit. I rebuilt it locally.

model-releasesr-localllama

Hey everyone! Last year, Mozilla released Orbit, an AI-powered browser summarizer hosted on a GCP server. After people started digging into the extension, they discovered things like backend endpoints

Mozilla Killed Orbit. I Rebuilt It Locally and Privately.

model-releasesr-ollama

Qwen 3.8 27B is a game changer.

model-releasesr-localllama

Our devs got their hands on it a few days ago. One wired it into Codex to compare with GPT Luna, our usual workhorse right now for its cost effectiveness. Another tried it out on one of our OCR pipeli

You don't often see one-word titles in AI papers. That aside, strong recommend this paper from Google DeepMind. I think this is an interesti…

You don't often see one-word titles in AI papers. That aside, strong recommend this paper from Google DeepMind. I think this is an interesting training-free approach to evolve model architectures by l

researchdair-ai--x

Great paper if you are tracking progress in recursive self-improvement (RSI). (bookmark it) There is so much hype around RSI, so I think it'…

Great paper if you are tracking progress in recursive self-improvement (RSI). (bookmark it) There is so much hype around RSI, so I think it's worth understanding why current models are not able to do

model-releasesdair-ai--x

Ollama + llama.cpp + VS Code + OWUI + ...cloud?

I've been trying to figure out what the best configuration for my local stack would be and have been primarily determining this through trial and error. I wanted to get some outside opinions and stack

model-releasesr-ollama

This is one of the most effective ways to improve your agentic workflows. If you are building computer-use agents, this one is worth your ti…

This is one of the most effective ways to improve your agentic workflows. If you are building computer-use agents, this one is worth your time. Task Model Induction takes a raw recording of someone wo

agentsdair-ai--x

What a fascinating paper on AI agents. A lot of the issues we see with AI agents today revolve around wrong assumptions the LLMs make. This …

What a fascinating paper on AI agents. A lot of the issues we see with AI agents today revolve around wrong assumptions the LLMs make. This leads to problems like hallucination, cost inefficiencies, u

model-releasesdair-ai--x

A Plug-in Interpretation of Conditioning in Score-Based Diffusion Models

arXiv:2608.19504v1 Announce Type: new Abstract: We propose a conditioning mechanism for diffusion models based on multi-speed joint diffusion of the target and the condition. The mechanism learns an u

researcharxiv-cs-cv

A Robust In-Context Model for Conservation Laws: Injecting Context into Flux Neural Operators via Recurrent Vision Transformers

arXiv:2605.05488v2 Announce Type: replace Abstract: We propose an architecture that augments the Flux Neural Operator (Flux NO), which combines the classical finite volume method (FVM) with neural ope

researcharxiv-cs-lg

A Standardized Framework for Machine Learning in Power System Protection

arXiv:2608.20181v1 Announce Type: cross Abstract: Studies of machine-learning-based power-system protection increasingly report near-perfect scores, yet the meaning of those scores depends strongly on

Active Spiking Perception: The Membrane Potential as a Belief State for Anytime 3D Point Cloud Recognition

arXiv:2608.19232v1 Announce Type: cross Abstract: Spiking point cloud networks usually scan space in a fixed, input-agnostic order, which leaves the most distinctive resource of spiking computation, t

Banger paper from Google DeepMind. It's on the very hot topic of model routing. Routers assume the value estimate is free. Working out which…

Banger paper from Google DeepMind. It's on the very hot topic of model routing. Routers assume the value estimate is free. Working out which specialist handles a query best costs money too, and it is

model-releasesdair-ai--x

Beyond Memory Majority: Latent-Source Reasoning for Multi-Agent Memory Arbitration

arXiv:2608.19701v1 Announce Type: new Abstract: Long-term multi-agent systems continuously accumulate the memories produced by different agents. Existing memory methods typically treat retrieved memor

Local Ai

CoToGrasp: Contact-Topology-Conditioned Dexterous Grasp Synthesis via Canonical Workspace Learning

arXiv:2608.19776v1 Announce Type: cross Abstract: Current dexterous grasp planners primarily optimize for physical stability, focusing on whether an object can be grasped rather than how it should be

local-aiarxiv-cs-ai

CVSD-Reg: Cross-Modal Visual Semantic Prior Distillation for Robust LiDAR Registration

arXiv:2608.19536v1 Announce Type: cross Abstract: Learning-based global point cloud registration has achieved remarkable progress, yet its reliance on geometric representations makes existing methods

DIFFCZSL: Compositional Zero-Shot Learning Regularized by Diffusion Representations

arXiv:2608.19871v1 Announce Type: new Abstract: Compositional Zero-Shot Learning (CZSL) aims to recognize unseen attribute-object compositions by leveraging knowledge of primitive concepts learned fro

safetyarxiv-cs-cv

Distilling Aggregate Mobility Statistics into a Language Model Policy for Post-Event Crowd Simulation

arXiv:2608.19778v1 Announce Type: cross Abstract: Pedestrian simulators need a behaviour rule for every agent, but privacy usually limits the data for setting one to aggregate statistics, namely zone-

Drift-Adaptive ICU Intervention Prediction: Freezing the Physiological Encoder for Auditable Model Updating

arXiv:2607.19020v2 Announce Type: replace-cross Abstract: Clinical decision support degrades as treatment protocols evolve, but the obstacle to updating a deployed model is governance as much as accur

Evidence Before Expansion: Reuse, Spawn, or Defer in Lifelong Expert Pools

arXiv:2608.19888v1 Announce Type: cross Abstract: Streaming systems that maintain a pool of expert models must repeatedly decide whether to reuse an existing expert for arriving data, spawn a new one,

Tutorials

Exploiting Completeness Perception with Diffusion Transformer for Unified 3D MRI Synthesis

arXiv:2602.18400v3 Announce Type: replace-cross Abstract: Missing data problems, such as missing modalities in multi-modal brain MRI and missing slices in cardiac MRI, pose significant challenges in c

tutorialsarxiv-cs-cv

Frequency-Aware Continual Learning for Smart Contract Vulnerability Detection with Large Language Models

arXiv:2608.19680v1 Announce Type: new Abstract: Smart contract vulnerability detection with Large Language Models (LLMs) faces three causally linked challenges. First, new vulnerability categories dem

From Noise to Signal: Improving Security Log Anomaly Detection Using LLMs with Endpoint-Specific Logs

model-releasesarxiv-cs-lg

arXiv:2608.19938v1 Announce Type: cross Abstract: Existing approaches to anomalous behaviour log detection, such as Wazuh rely primarily on predefined detection rules, while statistical anomaly detect

Gallileo-4D: Frozen Backbone Ensemble for Dynamic 4D Reconstruction

model-releasesarxiv-cs-cv

arXiv:2608.19743v1 Announce Type: new Abstract: We describe our entry to the PhysAI Dynamic 4D Reconstruction Challenge, which placed third of 27 teams at 0.58356 APD on the final leaderboard, without

Applications

GOAG: Generative and Object-Agnostic Grasp Planner for Dexterous Robotic Manipulation

arXiv:2608.19759v1 Announce Type: cross Abstract: Multifingered grasping is a crucial robotic skill, but current deep-learning grasp planners often struggle to generalize to new objects because they a

applicationsarxiv-cs-ai