Search: “tools”

Multi-Dimensional Knowledge Profiling with Large-Scale Literature Database and Hierarchical Retrieval

arXiv:2601.15170v2 Announce Type: replace Abstract: The rapid expansion of research across machine learning, vision, and language has produced a volume of publications that is increasingly difficult t

safetyarxiv-cs-cv

All Blog X Post Paper YouTube Reddit GitHub

Clear filters

Agents

Online Navigation Planning for Long-term Autonomous Operation of Underwater Gliders

DGX agent

arXiv:2602.19315v2 Announce Type: replace Abstract: Underwater glider robots have become indispensable for ocean sampling, yet fully autonomous long-term operation remains rare in practice. Although s

agentsarxiv-cs-ro

16 Apr 2026

Robust Verification of Controllers under State Uncertainty via Hamilton-Jacobi Reachability Analysis

arXiv:2511.14755v2 Announce Type: replace-cross Abstract: As perception-based controllers for autonomous systems become increasingly popular in the real world, it is important that we can formally ver

Applications

Spectral Thompson sampling

arXiv:2604.13739v1 Announce Type: new Abstract: Thompson Sampling (TS) has attracted a lot of interest due to its good empirical performance, in particular in the computational advertising. Though suc

applicationsarxiv-cs-lg

Zero-Shot Function Encoder-Based Differentiable Predictive Control

arXiv:2511.05757v3 Announce Type: replace-cross Abstract: We introduce a differentiable framework for zero-shot adaptive control over parametric families of nonlinear dynamical systems. Our approach i

Applications

A Nonparametric Adaptive EWMA Control Chart for Binary Monitoring of Multiple Stream Processes

arXiv:2604.12095v1 Announce Type: cross Abstract: Monitoring binomial proportions across multiple independent streams is a critical challenge in Statistical Process Control (SPC), with applications fr

applicationsarxiv-cs-lg

A Two-Timescale Primal-Dual Framework for Reinforcement Learning via Online Dual Variable Guidance

arXiv:2505.04494v3 Announce Type: replace-cross Abstract: We study reinforcement learning by combining recent advances in regularized linear programming formulations with the classical theory of stoch

A unified data format for managing diabetes time-series data: DIAbetes eXchange (DIAX)

arXiv:2604.11944v1 Announce Type: new Abstract: Diabetes devices, including Continuous Glucose Monitoring (CGM), Smart Insulin Pens, and Automated Insulin Delivery systems, generate rich time-series d

Aethon: A Reference-Based Replication Primitive for Constant-Time Instantiation of Stateful AI Agents

arXiv:2604.12129v1 Announce Type: new Abstract: The transition from stateless model inference to stateful agentic execution is reshaping the systems assumptions underlying modern AI infrastructure. Wh

Bipedal-Walking-Dynamics Model on Granular Terrains

model-releasesarxiv-cs-ro

arXiv:2604.11981v1 Announce Type: new Abstract: Bipeds have demonstrated high agility and mobility in unstructured environments such as sand. The yielding of such granular media brings significant sin

Causal Diffusion Models for Counterfactual Outcome Distributions in Longitudinal Data

arXiv:2604.12992v1 Announce Type: cross Abstract: Predicting counterfactual outcomes in longitudinal data, where sequential treatment decisions heavily depend on evolving patient states, is critical y

Characterizing higher-order representations through generative diffusion models explains human decoded neurofeedback performance

arXiv:2503.14333v4 Announce Type: replace-cross Abstract: Brains construct not only 'first-order' representations of the environment but also 'higher-order' representations about those representations

tutorialsarxiv-cs-ai

Data-driven Reachable Set Estimation with Tunable Adversarial and Wasserstein Distributional Guarantees

arXiv:2604.12654v1 Announce Type: cross Abstract: We study finite horizon reachable set estimation for unknown discrete-time dynamical systems using only sampled state trajectories. Rather than treati

tutorialsarxiv-cs-lg

Development, Evaluation, and Deployment of a Multi-Agent System for Thoracic Tumor Board

arXiv:2604.12161v1 Announce Type: new Abstract: Tumor boards are multidisciplinary conferences dedicated to producing actionable patient care recommendations with live review of primary radiology and

EMBER: Autonomous Cognitive Behaviour from Learned Spiking Neural Network Dynamics in a Hybrid LLM Architecture

arXiv:2604.12167v1 Announce Type: new Abstract: We present (Experience-Modulated Biologically-inspired Emergent Reasoning), a hybrid cognitive architecture that reorganises the relationship between la

Evaluating LLM-Generated ACSL Annotations for Formal Verification

arXiv:2602.13851v3 Announce Type: replace-cross Abstract: Formal specifications are crucial for building verifiable and dependable software systems, yet generating accurate and verifiable specificatio

FlowBoost Reveals Phase Transitions and Spectral Structure in Finite Free Information Inequalities

model-releasesarxiv-cs-lg

arXiv:2604.11922v1 Announce Type: cross Abstract: Using FlowBoost, a closed-loop deep generative optimization framework for extremal structure discovery, we investigate ell^p-generalizations of the fi

Local Ai

Habitat Classification from Ground-Level Imagery Using Deep Neural Networks

arXiv:2507.04017v3 Announce Type: replace Abstract: Habitat assessment at local scales -- critical for enhancing biodiversity and guiding conservation priorities -- often relies on expert field survey

local-aiarxiv-cs-cv

HSG-12M: A Large-Scale Benchmark of Spatial Multigraphs from the Energy Spectra of Non-Hermitian Crystals

arXiv:2506.08618v4 Announce Type: replace-cross Abstract: AI is transforming scientific research by revealing new ways to understand complex physical systems, but its impact remains constrained by the

Instantiating Bayesian CVaR lower bounds in Interactive Decision Making Problems

arXiv:2604.12519v1 Announce Type: new Abstract: Recent work established a generalized-Fano framework for lower bounding prior-predictive (Bayesian) CVaR in interactive statistical decision making. In

tutorialsarxiv-cs-lg

Is Vibe Coding the Future? An Empirical Assessment of LLM Generated Codes for Construction Safety

arXiv:2604.12311v1 Announce Type: cross Abstract: The emergence of vibe coding, a paradigm where non-technical users instruct Large Language Models (LLMs) to generate executable codes via natural lang

Learning step-level dynamic soaring in shear flow

arXiv:2604.12413v1 Announce Type: cross Abstract: Dynamic soaring enables sustained flight by extracting energy from wind shear, yet it is commonly understood as a cycle-level maneuver that assumes st

safetyarxiv-cs-ro

LLM-Guided Prompt Evolution for Password Guessing

arXiv:2604.12601v1 Announce Type: cross Abstract: Passwords still remain a dominant authentication method, yet their security is routinely subverted by predictable user choices and large-scale credent

Mobile GUI Agents under Real-world Threats: Are We There Yet?

arXiv:2507.04227v2 Announce Type: replace-cross Abstract: Recent years have witnessed a rapid development of mobile GUI agents powered by large language models (LLMs), which can autonomously execute d

Monte Carlo Stochastic Depth for Uncertainty Estimation in Deep Learning

model-releasesarxiv-cs-lg

arXiv:2604.12719v1 Announce Type: new Abstract: The deployment of deep neural networks in safety-critical systems necessitates reliable and efficient uncertainty quantification (UQ). A practical and w

Applications

On the Geometry of Receiver Operating Characteristic and Precision-Recall Curves

arXiv:2504.02169v3 Announce Type: replace-cross Abstract: We study the geometry of Receiver Operating Characteristic (ROC) and Precision-Recall (PR) curves in binary classification problems. The key f

applicationsarxiv-cs-ai

Policy-Invisible Violations in LLM-Based Agents

arXiv:2604.12177v1 Announce Type: new Abstract: LLM-based agents can execute actions that are syntactically valid, user-sanctioned, and semantically appropriate, yet still violate organizational polic

Quantifying Cross-Modal Interactions in Multimodal Glioma Survival Prediction via InterSHAP: Evidence for Additive Signal Integration

arXiv:2603.29977v2 Announce Type: replace-cross Abstract: Multimodal deep learning for cancer prognosis is commonly assumed to benefit from synergistic cross-modal interactions, yet this assumption ha

researcharxiv-cs-ai

QuarkMedSearch: A Long-Horizon Deep Search Agent for Exploring Medical Intelligence

arXiv:2604.12867v1 Announce Type: new Abstract: As agentic foundation models continue to evolve, how to further improve their performance in vertical domains has become an important challenge. To this

Replicable Reinforcement Learning with Linear Function Approximation

arXiv:2509.08660v3 Announce Type: replace Abstract: Replication of experimental results has been a challenge faced by many scientific disciplines, including the field of machine learning. Recent work

Safe-SAIL: Towards a Fine-grained Safety Landscape of Large Language Models via Sparse Autoencoder Interpretation Framework

arXiv:2509.18127v3 Announce Type: replace-cross Abstract: Sparse autoencoders (SAEs) enable interpretability research by decomposing entangled model activations into monosemantic features. However, un

Sample Complexity of Autoregressive Reasoning: Chain-of-Thought vs. End-to-End

arXiv:2604.12013v1 Announce Type: new Abstract: Modern large language models generate text autoregressively, producing tokens one at a time. To study the learnability of such systems, Joshi et al. (CO

tutorialsarxiv-cs-lg

Should There be a Teacher In-the-Loop? A Study of Generative AI Personalized Tasks Middle School

arXiv:2602.15876v1 Announce Type: cross Abstract: Adapting instruction to the fine-grained needs of individual students is a powerful application of recent advances in large language models. These gen

researcharxiv-cs-ai

SIR-Bench: Evaluating Investigation Depth in Security Incident Response Agents

arXiv:2604.12040v1 Announce Type: cross Abstract: We present SIR-Bench, a benchmark of 794 test cases for evaluating autonomous security incident response agents that distinguishes genuine forensic in

SynthPix: A lightspeed PIV image generator

model-releasesarxiv-cs-cv

arXiv:2512.09664v2 Announce Type: replace-cross Abstract: We describe SynthPix, a synthetic image generator for Particle Image Velocimetry (PIV) with a focus on performance and parallelism on accelera

The Linear Centroids Hypothesis: How Deep Network Features Represent Data

arXiv:2604.11962v1 Announce Type: new Abstract: Identifying and understanding the features that a deep network (DN) extracts from its inputs to produce its outputs is a focal point of interpretability

Towards Long-horizon Agentic Multimodal Search

arXiv:2604.12890v1 Announce Type: cross Abstract: Multimodal deep search agents have shown great potential in solving complex tasks by iteratively collecting textual and visual evidence. However, mana

Uncertainty Quantification in CNN Through the Bootstrap of Convex Neural Networks

arXiv:2604.11833v1 Announce Type: new Abstract: Despite the popularity of Convolutional Neural Networks (CNN), the problem of uncertainty quantification (UQ) of CNN has been largely overlooked. Lack o

Unconventional Hexacopters via Evolution and Learning: Performance Gains and New Insights

arXiv:2505.14129v2 Announce Type: replace Abstract: Evolution and learning have historically been interrelated topics, and their interplay is attracting increased interest lately. The emerging new fac

researcharxiv-cs-ro

A Coordinate-Invariant Local Representation of Motion and Force Trajectories for Identification and Generalization Across Coordinate Systems

arXiv:2604.10241v1 Announce Type: new Abstract: Identifying the trajectories of rigid bodies and of interaction forces is essential for a wide range of tasks in robotics, biomechanics, and related dom

researcharxiv-cs-ro

AC-MIL: Weakly Supervised Atrial LGE-MRI Quality Assessment via Adversarial Concept Disentanglement

model-releasesarxiv-cs-cv

arXiv:2604.10303v1 Announce Type: new Abstract: High-quality Late Gadolinium Enhancement (LGE) MRI can be helpful for atrial fibrillation management, yet scan quality is frequently compromised by pati

Agent-Dice: Disentangling Knowledge Updates via Geometric Consensus for Agent Continual Learning

model-releasesarxiv-cs-cl

arXiv:2601.03641v4 Announce Type: replace Abstract: Large Language Model (LLM)-based agents significantly extend the utility of LLMs by interacting with dynamic environments. However, enabling agents

Agentic Application in Power Grid Static Analysis: Automatic Code Generation and Error Correction

arXiv:2604.09995v1 Announce Type: cross Abstract: This paper introduces an LLM agent that automates power grid static analysis by converting natural language into MATPOWER scripts. The framework utili

Agentic Exploration of PDE Spaces using Latent Foundation Models for Parameterized Simulations

arXiv:2604.09584v1 Announce Type: new Abstract: Flow physics and more broadly physical phenomena governed by partial differential equations (PDEs), are inherently continuous, high-dimensional and ofte

bacpipe: a Python package to make bioacoustic deep learning models accessible

arXiv:2604.11560v1 Announce Type: cross Abstract: 1. Natural sounds have been recorded for millions of hours over the previous decades using passive acoustic monitoring. Improvements in deep learning

researcharxiv-cs-ai

BankerToolBench: Evaluating AI Agents in End-to-End Investment Banking Workflows

arXiv:2604.11304v1 Announce Type: new Abstract: Existing AI benchmarks lack the fidelity to assess economically meaningful progress on professional workflows. To evaluate frontier AI agents in a high-

Below-ground Fungal Biodiversity Can be Monitored Using Self-Supervised Learning Satellite Features

arXiv:2604.09818v1 Announce Type: new Abstract: Mycorrhizal fungi are vital to terrestrial ecosystem functioning. Yet monitoring their biodiversity at landscape scales is often unfeasible due to time

Beyond Fluency: Toward Reliable Trajectories in Agentic IR

arXiv:2604.04269v2 Announce Type: replace Abstract: Information Retrieval is shifting from passive document ranking toward autonomous agentic workflows that operate in multi-step Reason-Act-Observe lo