Search: “models”

LeanFlow: A Case Study in Workflow-Driven Lean Autoformalization

arXiv:2607.20503v1 Announce Type: new Abstract: We present and evaluate LeanFlow, an LLM agent system specialized for translating mathematical papers into buildable Lean projects. Recent verifier-in-t

agentsarxiv-cs-ai

LLM-INSTRUCT at UZH Shared Task 2026: Constraint-Aware Retrieval and Selective Debate for Paragraph-Level Argument Mining

DGX agent

arXiv:2607.20430v1 Announce Type: cross Abstract: We present LLM-INSTRUCT, the winning system for the UZH Shared Task at ArgMining 2026 on paragraph-level argument mining in UN and UNESCO resolutions.

agentsarxiv-cs-ai

24 Jul 2026

Tutorials

LLMs Get Lost in Evolving User Intent

arXiv:2607.20734v1 Announce Type: new Abstract: As LLMs become more capable, they are increasingly deployed as collaborative agents, taking on user-delegated tasks through iterative interaction. Yet g

tutorialsarxiv-cs-lg

Multilevel Graph Wavelet Compressed Sensing with Scale-Aware Neural Recovery

arXiv:2607.20857v1 Announce Type: cross Abstract: Scientific machine learning methods such as neural operators and physics-informed neural networks have advanced engineering applications and inverse p

Multimodal Learning for Arcing Detection in Pantograph-Catenary Systems

arXiv:2602.08792v2 Announce Type: replace-cross Abstract: The pantograph-catenary interface is essential for ensuring uninterrupted and reliable power delivery in electrified rail systems. However, el

Neural solutions of coupled ghost and gluon Dyson--Schwinger equations in Landau gauge

arXiv:2607.21548v1 Announce Type: cross Abstract: The coupled ghost and gluon Dyson--Schwinger equations (DSEs) of four-dimensional Landau-gauge Yang--Mills (YM) theory are solved with a neural repres

researcharxiv-cs-lg

Nipping the Butterfly Effect in the Bud: Self-Output Fine-Tuning for Autoregressive Weather Prediction

arXiv:2607.21080v1 Announce Type: new Abstract: Long-horizon weather forecasting is a fundamental challenge in atmospheric science, for which autoregressive Deep Learning Weather Prediction (DLWP) has

researcharxiv-cs-lg

Ocular Verification for Virtual Reality

arXiv:2607.20790v1 Announce Type: new Abstract: Virtual reality (VR) headsets (e.g., Meta Quest, Apple Vision Pro) provide a seamless user experience due to their fast, frictionless interaction with t

Offline RL with Hierarchical Action Chunking

arXiv:2607.20834v1 Announce Type: new Abstract: Offline goal-conditioned reinforcement learning (RL) holds the promise of learning general-purpose policies from static datasets. However, scaling these

researcharxiv-cs-lg

One Round Is All You Need: Analytic Federated Learning for Task-Heterogeneous Multi-Label Medical Image Classification

arXiv:2607.20641v1 Announce Type: new Abstract: Federated learning (FL) enables multiple clinical institutions to collaboratively train a shared disease classifier without centralizing patient data. I

safetyarxiv-cs-lg

🚨OpenAI, the company with 'Open' in the name, didn't sign the NVIDIA open weights letter Instead, they're lobbying government to BAN open A…

On July 24 2026, a tweet from NIK @ns123abc reported that OpenAI declined to sign NVIDIA’s “open weights” letter. Instead, the company is reportedly lobbying government authorities to ban open‑AI tech

hardwaregary-marcus--x

PersonaGesture: Single-Reference Co-Speech Gesture Personalization for Unseen Speakers

arXiv:2605.06064v2 Announce Type: replace Abstract: We propose PersonaGesture, a diffusion-based pipeline for single-reference co-speech gesture personalization of unseen speakers. Given target speech

Progressive Cramming: Reliable Token Compression and What It Reveals

arXiv:2607.21231v1 Announce Type: new Abstract: Token cramming compresses sequences into learned embeddings with near-perfect reconstruction, but fixed token budgets and 99% accuracy thresholds leave

researcharxiv-cs-cl

Quick Demo of the new Auto-Control feature in my Open-Source App that monitors stuff on your screen using local LLMs, so you don't have to :))

TLDR: This is a demo of my open-source app which now auto-controls itself so you can monitor your downloads, renders, progress bars, or whatever's on your screen and camera :) Hey r/ollama !! I'm deve

local-air-ollama

Recurrent Sinusoidal INRs for Efficient High-Fidelity Representation

arXiv:2607.21485v1 Announce Type: new Abstract: We study sinusoidal recurrence as an iterative mechanism for harmonic spectral enrichment in implicit neural representations (INRs). Our analysis reveal

Regulating autonomous and agentic AI

arXiv:2607.21345v1 Announce Type: new Abstract: Regulating activities where regulatees use autonomous and agentic AI is challenging. Regulatory assumptions about regulatee knowledge and control no lon

safetyarxiv-cs-ai

Applications

ReliableTableQA:How Much Supervision Does Reliability Annotation Need?

arXiv:2607.20537v1 Announce Type: cross Abstract: We introduce ReliableTableQA, a framework for training an LLM to annotate the statistical reliability of tabular QA results, not whether the query is

applicationsarxiv-cs-ai

Respectfully, @davidsacks, I strongly disagree with your take, and I feel that you reached your conclusions without looking at the data, and…

Respectfully, @davidsacks, I strongly disagree with your take, and I feel that you reached your conclusions without looking at the data, and that your conclusions will give Americans false comfort. -

safetygary-marcus--x

Riemannian Deep Learning: Modules, Networks, and Geometries

arXiv:2607.19305v2 Announce Type: replace-cross Abstract: Deep neural networks on manifold-valued representations have attracted growing interest, but many basic components remain tied to specific man

Robust Asynchronous Q-Learning under Reward and State Corruption via Batching

arXiv:2607.20822v1 Announce Type: new Abstract: Motivated by reinforcement learning in harsh environments, we consider the problem of learning an optimal policy subject to adversarially corrupted feed

safetyarxiv-cs-lg

Sample-Efficient Learning from Agent Experience

arXiv:2607.21051v1 Announce Type: new Abstract: Real-world agent learning is often constrained by costly environment interactions, such as running time-consuming experiments or obtaining human feedbac

agentsarxiv-cs-cl

SANA-Video 2.0: Hybrid Linear Attention with Attention Residuals for Efficient Video Generation

arXiv:2607.21553v1 Announce Type: new Abstract: We introduce SANA-Video 2.0, a hybrid video diffusion transformer instantiated at 5B and 14B scales under a unified architecture. Designed to generate h

hardwarearxiv-cs-cv

SevDiff: Severity-Conditioned Diffusion for Long-Tail Conflict Trajectory Generation

arXiv:2607.20549v1 Announce Type: new Abstract: Trajectory datasets used in ADAS evaluation are heavily biased toward routine driving; genuine vehicle-to-vehicle conflict events are rare, and the rare

agentsarxiv-cs-lg

Sidewalk Moments: Are Richer Representations Always More Human-Aligned? Evidence from City-Walk Videos

arXiv:2607.20903v1 Announce Type: new Abstract: We examine whether richer visual representations yield more human-aligned measures of urban engagement, using 61 first-person city-walk videos from YouT

safetyarxiv-cs-cv

slang.gr as a Large-Scale Crowdsourced Resource for Non-Standard Greek

arXiv:2607.21255v1 Announce Type: cross Abstract: Slang is a central component of everyday language, reflecting linguistic creativity, social identity, and cultural change, yet its dy- namic and non-s

safetyarxiv-cs-ai

SPECTRA: State-Space Exogenous Context and Temporal-Frequency Resolution Architecture for Probabilistic Energy Forecasting

arXiv:2607.20587v1 Announce Type: cross Abstract: Modern power systems increasingly require probabilistic forecasts amid interacting uncertainties from renewable intermittency, flexible demand, market

safetyarxiv-cs-lg

Stokes-Informed Diffusion for Robust Linear Polarization Estimation

arXiv:2607.21239v1 Announce Type: new Abstract: Polarization cues benefit applications such as material detection and de-reflection, yet acquiring them typically requires dedicated hardware. This moti

safetyarxiv-cs-cv

Synopsys targets physical AI complexity with co-design and agentic chip workflows

The rapid evolution of intelligent software-defined systems is pushing chip design into a new era of physical AI, one where chip design complexity is outpacing traditional engineering methods. Manufac

hardwaresiliconangle

thaulab@EEUCA 2026: Who Said What to Whom? A Targeting-Aware Neural-Symbolic Pipeline for Gaming Toxicity Detection

arXiv:2607.20447v1 Announce Type: new Abstract: This paper describes our system for the EEUCA 2026 Shared Task on toxicity classification in gaming chat. We implement a three-stage pipeline combining

safetyarxiv-cs-cl

THOR: A Theta-Gamma Hierarchical Oscillatory Reasoning Framework for Multi-hop QA

arXiv:2607.20459v1 Announce Type: cross Abstract: Multi-hop question answering requires retrieving and integrating evidence from multiple contexts. Despite the rapid progress of current research, mult

Toward Continuous Assurance for the Democratization of AI Agent Creation in Industry

arXiv:2607.21495v1 Announce Type: new Abstract: AI agents are increasingly created inside organizations by non-engineering users through low-code, no-code, and conversational development environments.

local-aiarxiv-cs-ai

Towards a Certifying Grounder

arXiv:2607.21199v1 Announce Type: cross Abstract: Grounding, the translation of high-level theories into equivalent quantifier-free formulas, is a crucial step in declarative solving, yet it has so fa

Trainable Log-linear Sparse Attention for Efficient Diffusion Transformers

arXiv:2512.16615v2 Announce Type: replace Abstract: Diffusion Transformers (DiTs) set the state of the art in visual generation, yet their quadratic self-attention cost fundamentally limits scaling to

hardwarearxiv-cs-cv

A local-first harness for multi-agent workflows

Hey all, I’ve been working on this in my spare time and finally feel ready to share it outside my own circles. Arbiter is a single binary for running agents locally. I originally built it because I wa

local-air-ollama

A Unified Variational Framework for Deep Weakly Supervised Image Segmentation

arXiv:2607.19669v1 Announce Type: new Abstract: We propose a unified variational framework for image segmentation under sparse pixel-level supervision. Our method is based on a simplex-constrained Pot

Active Inference as a Convex Markov Decision Process

arXiv:2607.20152v1 Announce Type: cross Abstract: Active Inference (AIF) frames adaptive behavior as the minimization of expected free energy (EFE), combining epistemic and pragmatic objectives within

local-aiarxiv-cs-ai

Industry

AegisAI banks $36M as AI spear-phishing surges fivefold in a year

Email security startup AegisAI Inc. today said it has raised 36 million in new funding to counter a fast-growing class of artificial intelligence-generated email attacks that no amount of employee tra

industrysiliconangle

Tutorials

Auditing Retrieval-Augmented LLM Hypotheses for Longitudinal Cell Painting Morphology

arXiv:2607.19415v1 Announce Type: cross Abstract: High-content morphological profiling (Cell Painting) yields sensitive, high-dimensional signatures of cellular state, but translating longitudinal mor

tutorialsarxiv-cs-ai

Applications

Auto-adaptive Resonance Equalization using Dilated Residual Networks

arXiv:1807.08636v2 Announce Type: replace-cross Abstract: In music and audio production, attenuation of spectral resonances is an important step towards a technically correct result. In this paper we

applicationsarxiv-cs-lg

AutoVSR: Automatic Visual-to-Symbolic Reasoning for Symbolic Expression Generation from Circuit Schematic

arXiv:2607.11338v2 Announce Type: replace Abstract: Symbolic expressions can effectively characterize and predict circuit behavior, but deriving them directly from circuit schematics is challenging. T

agentsarxiv-cs-ai

Building Trust in Autonomous Commerce: A Verifiable Global Event Timeline and AI-Ready Fraud Intelligence Layer

arXiv:2607.19436v1 Announce Type: cross Abstract: Agentic commerce protocols such as AP2 and ACP define mechanisms for secure agent-initiated transactions but do not provide interoperable, tamper-evid

agentsarxiv-cs-ai

CANDOR: Chance-Calibrated Discordance in Frozen Foundation Encoders

arXiv:2607.18451v1 Announce Type: cross Abstract: Frozen encoders are chosen by how well a lightweight head reads a finding from their features, not whether the geometry separates it. Nearest-neighbor

CGMap: A Geospatially Aware Deep Learning Framework for Crop Gap Mapping Using UAV

arXiv:2607.18779v1 Announce Type: new Abstract: In India, crop germination is primarily monitored by visual inspection and manual counting, which are prone to errors, despite their crucial role in det

Contact-Persistent Full Actuation for Aerial Physical Interaction

arXiv:2607.19708v1 Announce Type: new Abstract: Fully actuated unmanned aerial vehicles (UAVs) are usually certified through rank conditions on a control-allocation matrix or through free-flight track

safetyarxiv-cs-ro

Content Creation with Spillovers: An Incentive Design Approach

arXiv:2603.14372v3 Announce Type: replace Abstract: The rise of AI amplifies the economic phenomenon of positive spillovers: when creators contribute content that can be reused and adapted by LLMs, on

.@ControlAI is proud to endorse Reps. Lieu and Moran’s AI Kill Switch Act! This is a common sense safeguard giving the government the power …

.@ControlAI is proud to endorse Reps. Lieu and Moran’s AI Kill Switch Act! This is a common sense safeguard giving the government the power to shut down autonomous AIs when they threaten national secu

safetyconnor-leahy--x

Courteous Anticipation: Improving Long-Lived Task Planning in Persistent Shared Environments

arXiv:2607.20289v1 Announce Type: cross Abstract: We consider a task planning scenario in which robots sharing a persistent environment are assigned tasks one at a time from a held-out sequence. Stand

Crashing Waves vs. Rising Tides: Findings on AI Automation from Thousands of Worker Evaluations of Labor Market Tasks

arXiv:2604.01363v2 Announce Type: replace Abstract: We propose that AI automation is a continuum between: (i) crashing waves where AI capabilities surge abruptly over small sets of tasks, and (ii) ris