Search: “tools”

MCPThreatHive: Automated Threat Intelligence for Model Context Protocol Ecosystems

arXiv:2604.13849v1 Announce Type: cross Abstract: The rapid proliferation of Model Context Protocol (MCP)-based agentic systems has introduced a new category of security threats that existing framewor

Content type

All Blog X Post Paper YouTube Reddit GitHub

Clear filters

Model Releases

MetaDent: Labeling Clinical Images for Vision-Language Models in Dentistry

DGX agent

arXiv:2604.14866v1 Announce Type: new Abstract: Vision-Language Models (VLMs) have demonstrated significant potential in medical image analysis, yet their application in intraoral photography remains

model-releasesarxiv-cs-cv

17 Apr 2026

Optimizing the Network Topology of a Linear Reservoir Computer

arXiv:2509.23391v3 Announce Type: replace-cross Abstract: Machine learning has become a fundamental approach for modeling, prediction, and control, enabling systems to learn from data and perform comp

Prompt Optimization Is a Coin Flip: Diagnosing When It Helps in Compound AI Systems

arXiv:2604.14585v1 Announce Type: cross Abstract: Prompt optimization in compound AI systems is statistically indistinguishable from a coin flip: across 72 optimization runs on Claude Haiku (6 methods

Quantization of Spiking Neural Networks Beyond Accuracy

arXiv:2604.14487v1 Announce Type: new Abstract: Quantization is a natural complement to the sparse, event-driven computation of Spiking Neural Networks, reducing memory bandwidth and arithmetic cost f

Towards Trustworthy 6G Network Digital Twins: A Framework for Validating Counterfactual What-If Analysis in Edge Computing Resources

arXiv:2604.14787v1 Announce Type: cross Abstract: Network Digital Twins (NDTs) enable safe what-if analysis for 6G cloud-edge infrastructures, but adoption is often limited by fragmented workflows fro

Trust and Reliance on AI in Education: AI Literacy and Need for Cognition as Moderators

arXiv:2604.01114v2 Announce Type: replace-cross Abstract: As generative AI systems are integrated into educational settings, students often encounter AI-generated output while working through learning

applicationsarxiv-cs-ai

VeruSAGE: A Study of Agent-Based Verification for Rust Systems

arXiv:2512.18436v2 Announce Type: replace-cross Abstract: Large language models (LLMs) have shown impressive capability to understand and develop code. However, their capability to rigorously reason a

Young people's perceptions and recommendations for conversational generative artificial intelligence in youth mental health

arXiv:2604.13381v1 Announce Type: cross Abstract: Conversational generative artificial intelligence agents (or genAI chatbots) could benefit youth mental health, yet young people's perspectives remain

A High-Resolution Landscape Dataset for Concept-Based XAI With Application to Species Distribution Models

arXiv:2604.13240v1 Announce Type: new Abstract: Mapping the spatial distribution of species is essential for conservation policy and invasive species management. Species distribution models (SDMs) are

safetyarxiv-cs-cv

A Review of Diffusion-based Simulation-Based Inference: Foundations and Applications in Non-Ideal Data Scenarios

arXiv:2512.23748v2 Announce Type: replace Abstract: For complex simulation problems, inferring parameters often precludes the use of classical likelihood-based techniques due to intractable likelihood

Artificial intelligence application in lymphoma diagnosis with Vision Transformer using weakly supervised training

arXiv:2604.13795v1 Announce Type: new Abstract: Vision transformers (ViT) have been shown to allow for more flexible feature detection and can outperform convolutional neural network (CNN) when pre-tr

Auto-FP: An Experimental Study of Automated Feature Preprocessing for Tabular Data

model-releasesarxiv-cs-lg

arXiv:2310.02540v2 Announce Type: replace Abstract: Classical machine learning models, such as linear models and tree-based models, are widely used in industry. These models are sensitive to data dist

BOAT: Navigating the Sea of In Silico Predictors for Antibody Design via Multi-Objective Bayesian Optimization

arXiv:2604.13980v1 Announce Type: new Abstract: Antibody lead optimization is inherently a multi-objective challenge in drug discovery. Achieving a balance between different drug-like properties is cr

CodeFlowBench: A Multi-turn, Iterative Benchmark for Complex Code Generation

arXiv:2504.21751v4 Announce Type: replace-cross Abstract: Modern software development demands code that is maintainable, testable, and scalable by organizing the implementation into modular components

Convex Hulls of Reachable Sets

arXiv:2303.17674v5 Announce Type: replace-cross Abstract: We study the convex hulls of reachable sets of nonlinear systems with bounded disturbances and uncertain initial conditions. Reachable sets pl

Democratising Pathology Co-Pilots: An Open Pipeline and Dataset for Whole-Slide Vision-Language Modelling

arXiv:2512.17326v2 Announce Type: replace Abstract: Vision-language models (VLMs) have the potential to become co-pilots for pathologists. However, most VLMs either focus on small regions of interest

Evaluating the Formal Reasoning Capabilities of Large Language Models through Chomsky Hierarchy

arXiv:2604.02709v2 Announce Type: replace Abstract: The formal reasoning capabilities of LLMs are crucial for advancing automated software engineering. However, existing benchmarks for LLMs lack syste

ExpSeek: Self-Triggered Experience Seeking for Web Agents

arXiv:2601.08605v2 Announce Type: replace Abstract: Experience intervention in web agents emerges as a promising technical paradigm, enhancing agent interaction capabilities by providing valuable insi

From Where Words Come: Efficient Regularization of Code Tokenizers Through Source Attribution

arXiv:2604.14053v1 Announce Type: new Abstract: Efficiency and safety of Large Language Models (LLMs), among other factors, rely on the quality of tokenization. A good tokenizer not only improves infe

safetyarxiv-cs-cl

Hybrid Approach for Enhancing Lesion Segmentation in Fundus Images

arXiv:2509.25549v2 Announce Type: replace Abstract: Choroidal nevi are common benign pigmented lesions in the eye, with a small risk of transforming into melanoma. Early detection is critical to impro

Hybrid Attention Model Using Feature Decomposition and Knowledge Distillation for Glucose Forecasting

arXiv:2411.10703v3 Announce Type: replace Abstract: The availability of continuous glucose monitors as over-the-counter commodities have created a unique opportunity to monitor a person's blood glucos

applicationsarxiv-cs-lg

Learning Sewing Patterns via Latent Flow Matching of Implicit Fields

arXiv:2601.17740v2 Announce Type: replace Abstract: Sewing patterns define the structural foundation of garments and are essential for applications such as fashion design, fabrication, and physical si

LEO-RobotAgent: A General-purpose Robotic Agent for Language-driven Embodied Operator

arXiv:2512.10605v2 Announce Type: replace Abstract: We propose LEO-RobotAgent, a general-purpose language-driven intelligent agent framework for robots. Under this framework, LLMs can operate differen

agentsarxiv-cs-ro

LongVideo-R1: Smart Navigation for Low-cost Long Video Understanding

model-releasesarxiv-cs-cv

arXiv:2602.20913v2 Announce Type: replace Abstract: This paper addresses the critical and underexplored challenge of long video understanding with low computational budgets. We propose LongVideo-R1, a

MERRIN: A Benchmark for Multimodal Evidence Retrieval and Reasoning in Noisy Web Environments

arXiv:2604.13418v1 Announce Type: new Abstract: Motivated by the underspecified, multi-hop nature of search queries and the multimodal, heterogeneous, and often conflicting nature of real-world web re

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

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

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

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

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

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

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

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