All entries

Formal Policy Enforcement for Real-World Agentic Systems

arXiv:2602.16708v3 Announce Type: replace-cross Abstract: Security policy enforcement in contemporary agentic systems predominantly consists of embedding natural-language policies within an agent's sy

Formally Verifying Analog Neural Networks Under Process Variations Using Polynomial Zonotopes

All Blog X Post Paper YouTube Reddit GitHub

Clear filters

DGX agent

arXiv:2605.10474v1 Announce Type: cross Abstract: Analog neural networks are gaining attention due to their efficiency in terms of power consumption and processing speed. However, since analog neural

applicationsarxiv-cs-ai

12 May 2026

FormalRewardBench: A Benchmark for Formal Theorem Proving Reward Models

arXiv:2605.10141v1 Announce Type: new Abstract: Recent neural theorem provers use reinforcement learning with verifiable rewards (RLVR), where proof assistants provide binary correctness signals. Whil

FORTIS: Benchmarking Over-Privilege in Agent Skills

arXiv:2605.09163v1 Announce Type: new Abstract: Large language model agents increasingly operate through an intermediate skill layer that mediates between user intent and concrete task execution. This

Foundations of Reliable Inference: Reliability-Efficiency Co-Design

arXiv:2605.10351v1 Announce Type: new Abstract: Reliable inference requires that artificial intelligence (AI) models provide trustworthy uncertainty estimates, not merely accurate predictions. Recent

researcharxiv-cs-lg

Four Over Six: More Accurate NVFP4 Quantization with Adaptive Block Scaling

model-releasesarxiv-cs-cl

arXiv:2512.02010v5 Announce Type: replace Abstract: As large language models have grown larger, interest has grown in low-precision numerical formats such as NVFP4 as a way to improve speed and reduce

Fourier Feature Methods for Nonlinear Causal Discovery: FFML Scoring, TRFF Scoring, and FFCI Testing in Mixed Data

arXiv:2605.05743v2 Announce Type: replace-cross Abstract: Gaussian process (GP) marginal likelihood scores and kernel conditional independence tests are theoretically appealing for nonlinear causal di

FPGA-Based Hardware Architecture for Contrast Maximization in Event-Based Vision

model-releasesarxiv-cs-cv

arXiv:2605.09581v1 Announce Type: new Abstract: This paper presents a hardware architecture that implements the Contrast Maximization (CM) algorithm in Field-Programmable Gate Array (FPGA) resources f

FQPDR: Federated Quantum Neural Network for Privacy-preserving Early Detection of Diabetic Retinopathy

arXiv:2605.08324v1 Announce Type: cross Abstract: Diabetic Retinopathy (DR) is a common complication of diabetes that can lead to blindness of people. Detecting DR at the earliest stage is essential t

FRACTAL: SSM with Fractional Recurrent Architecture for Computational Temporal Analysis of Long Sequences

arXiv:2605.08833v1 Announce Type: new Abstract: Effective sequence modeling fundamentally requires balancing the retention of unbounded history with the high-resolution detection of abrupt short-term

FragileFlow: Spectral Control of Correct-but-Fragile Predictions for Foundation Model Robustness

arXiv:2605.08896v1 Announce Type: cross Abstract: Robust adaptation of LLMs and VLMs is often evaluated by average accuracy or average consistency under perturbations. However, these averages can hide

Frame In, Frame Out: Measuring Framing Bias in LLM-Generated News Summaries

model-releasesarxiv-cs-cl

arXiv:2505.05406v2 Announce Type: replace Abstract: News headlines and summaries shape how events are interpreted through selective emphasis and omission, a phenomenon commonly referred to as framing.

FrameTwin: Curve-Anchored Gaussian Alignment from Sparse Views for Adaptive Wireframe 3D Printing

arXiv:2605.09362v1 Announce Type: cross Abstract: We present FrameTwin, a curve-anchored Gaussian alignment framework that uses sparse-view images to close the control loop for adaptive wireframe 3D p

safetyarxiv-cs-cv

FraudBench: A Multimodal Benchmark for Detecting AI-Generated Fraudulent Refund Evidence

arXiv:2605.08820v1 Announce Type: cross Abstract: Artificial Intelligence (AI)-generated images have become increasingly realistic and readily adaptable to concrete real-world claims, creating new cha

Free Energy Manifold: Score-Based Inference for Hybrid Bayesian Networks

arXiv:2605.09839v1 Announce Type: cross Abstract: We introduce the Free Energy Manifold (FEM), a score-trained conditional energy model specialized for inference in hybrid Bayesian networks with discr

FreeMOCA: Memory-Free Continual Learning for Malicious Code Analysis

model-releasesarxiv-cs-lg

arXiv:2605.09664v1 Announce Type: cross Abstract: As over 200 million new malware samples are identified each year, antivirus systems must continuously adapt to the evolving threat landscape. However,

Frequency Adapter with SAM for Generalized Medical Image Segmentation

arXiv:2605.09925v1 Announce Type: new Abstract: Medical image segmentation is a critical task in computer-aided diagnosis and treatment planning. However, deep learning models often struggle to genera

safetyarxiv-cs-cv

FrequencyCT: Frequency domain pseudo-label generation for self-supervised low-dose CT denoising

arXiv:2605.10583v1 Announce Type: new Abstract: Despite extensive research on computed tomography (CT) denoising, few studies exploit projection-domain data characteristics to mitigate noise correlati

applicationsarxiv-cs-cv

Frictional Q-Learning

arXiv:2509.19771v5 Announce Type: replace-cross Abstract: Off-policy reinforcement learning suffers from extrapolation errors when a learned policy selects actions that are weakly supported in the rep

From Articulated Kinematics to Routed Visual Control for Action-Conditioned Surgical Video Generation

model-releasesarxiv-cs-cv

arXiv:2605.08712v1 Announce Type: new Abstract: Action-conditioned surgical video generation is a critical yet highly challenging problem for robotic surgery. The core difficulty is that low-dimension

From Controlled to the Wild: Evaluation of Pentesting Agents for the Real-World

arXiv:2605.10834v1 Announce Type: new Abstract: AI pentesting agents are increasingly credible as offensive security systems, but current benchmarks still provide limited guidance on which will perfor

applicationsarxiv-cs-ai

From Detection to Recovery: Operational Analysis on LLM Pre-training with 504 GPUs

arXiv:2605.09370v1 Announce Type: cross Abstract: Large-scale AI training is now fundamentally a distributed systems problem, and hardware failures have become routine operating conditions rather than

local-aiarxiv-cs-ai

From Historical Tabular Image to Knowledge Graphs: A Provenance-Aware Modular Pipeline

arXiv:2605.08222v1 Announce Type: cross Abstract: Handwritten archival tables contain rich historical information, yet transforming them into structured representations, such as Knowledge Graphs, requ

applicationsarxiv-cs-ai

From Holo Pockets to Electron Density: GPT-style Drug Design with Density

arXiv:2605.08767v1 Announce Type: new Abstract: Recent advances in generative modeling have enabled significant progress in structure-based drug design (SBDD). Existing methods typically condition mol

From Mechanistic to Compositional Interpretability

arXiv:2605.08934v1 Announce Type: new Abstract: Mechanistic interpretability aims to explain neural model behaviour by reverse-engineering learned computational structure into human-understandable com

researcharxiv-cs-lg

From Ontology Conformance to Admissible Reconfiguration: A RoSO/SMGI Adequacy Argument for Robotic Service Governance

arXiv:2605.08185v1 Announce Type: cross Abstract: The Robotic Service Ontology (RoSO) gives service robotics a typed semantic vocabulary for services, functions, interactions, and deployment-sensitive

From Passive Reuse to Active Reasoning: Grounding Large Language Models for Neuro-Symbolic Experience Replay

arXiv:2605.09419v1 Announce Type: new Abstract: While experience replay is essential for data efficiency in reinforcement learning (RL), standard methods treat the replay buffer as a passive memory sy

From Pixels to Concepts: Do Segmentation Models Understand What They Segment?

model-releasesarxiv-cs-cv

arXiv:2605.09591v1 Announce Type: new Abstract: Segmentation is a fundamental vision task underlying numerous downstream applications. Recent promptable segmentation models, such as Segment Anything M

From pre-training to downstream performance: Does domain-specific pre-training make sense?

arXiv:2605.08819v1 Announce Type: new Abstract: Deep learning techniques have revolutionised medical imaging, improving diagnostic accuracy and enabling both more accurate and earlier disease detectio

researcharxiv-cs-cv

Tutorials

From Regression to Inference: Meta-Learning Predictors for Neural Architecture Search

arXiv:2605.09290v1 Announce Type: new Abstract: Prediction-based approaches are widely used in neural architecture search (NAS), where a predictor estimates the performance of candidate architectures

tutorialsarxiv-cs-lg

From Single-Step Edit Response to Multi-Step Molecular Optimization

arXiv:2605.10035v1 Announce Type: new Abstract: Conditional molecular optimization aims to edit a molecule to realize a specified property shift. In practice, structurally similar molecule data is sca

local-aiarxiv-cs-ai

Agents

From Spark to Fire: Modeling and Mitigating Error Cascades in LLM-Based Multi-Agent Collaboration

arXiv:2603.04474v2 Announce Type: replace-cross Abstract: Large Language Model-based Multi-Agent Systems (LLM-MAS) are increasingly applied to complex collaborative scenarios. However, their collabora

agentsarxiv-cs-ai

Tutorials

From Syntax to Semantics: Unveiling the Emergence of Chirality in SMILES Translation Models

arXiv:2605.09949v1 Announce Type: new Abstract: Understanding how chemical language models (CLMs) learn chemical meaning from molecular string representations, rather than only surface-level string pa

tutorialsarxiv-cs-lg

From Traditional Taggers to LLMs: A Comparative Study of POS Tagging for Medieval Romance Languages

arXiv:2605.09147v1 Announce Type: cross Abstract: Part-of-speech (POS) tagging for Medieval Romance languages remains challenging due to orthographic variation, morphological complexity, and limited a

FugSeg: Fast Uncertainty-aware Ground Segmentation for 3D Point Cloud

arXiv:2605.08952v1 Announce Type: new Abstract: In LiDAR-based environment perception systems, ground segmentation is a key preprocessing step supporting various applications such as mapping and navig

researcharxiv-cs-cv

Fully Decentralized Cooperative Multi-Agent Reinforcement Learning is A Context Modeling Problem

arXiv:2509.15519v2 Announce Type: replace Abstract: This paper studies fully decentralized cooperative multi-agent reinforcement learning, where each agent solely observes the states, its local action

local-aiarxiv-cs-lg

Fully First-Order Algorithms for Online Bilevel Optimization

arXiv:2602.11665v2 Announce Type: replace Abstract: In this work, we study nonconvex-strongly convex online bilevel optimization (OBO) using only first-order oracle. Existing OBO algorithms are mainly

researcharxiv-cs-lg

Function-Space ADMM for Decentralized Federated Learning: A Control Theoretic Perspective

model-releasesarxiv-cs-lg

arXiv:2605.09356v1 Announce Type: new Abstract: Decentralized federated learning (FL) is a promising approach for training machine learning models on sensor networks, Internet of Things (IoT) devices,

Functional Graphs for Predicting and Explaining Goal Failure in Sparse Goal-Conditioned RL

arXiv:2605.09335v1 Announce Type: new Abstract: Sparse goal-conditioned reinforcement learning can produce policies whose failures are hidden by aggregate success rates. We analyze trained goal-condit

safetyarxiv-cs-lg

Functional Stable Model Semantics and Answer Set Programming Modulo Theories

arXiv:2605.09524v1 Announce Type: new Abstract: Recently there has been an increasing interest in incorporating ``intensional'' functions in answer set programming. Intensional functions are those who

Functional Subspace, where language models can use vector algebra to solve problems

arXiv:2602.01687v2 Announce Type: replace-cross Abstract: Large language models (LLMs) were invented for natural language tasks such as translation, but they have proved that they can perform highly c

FunnelNet: An End-to-End Deep Learning Framework to Monitor Digital Heart Murmur in Real-Time

arXiv:2405.09570v2 Announce Type: replace-cross Abstract: Heart murmurs are abnormal sounds caused by turbulent blood flow in the heart. Several diagnostic methods are available to detect heart murmur

applicationsarxiv-cs-lg

Agents

G-Zero: Self-Play for Open-Ended Generation from Zero Data

arXiv:2605.09959v1 Announce Type: cross Abstract: Self-evolving LLMs excel in verifiable domains but struggle in open-ended tasks, where reliance on proxy LLM judges introduces capability bottlenecks

agentsarxiv-cs-ai

GAMBIT: A Three-Mode Benchmark for Adversarial Robustness in Multi-Agent LLM Collectives

model-releasesarxiv-cs-cl

arXiv:2605.09027v1 Announce Type: new Abstract: In multi-agent systems (MAS), a single deceptive agent can nullify all gains of an agentic AI collective and evade deployed defenses. However, existing

Agents

GameChat: Multi-LLM Dialogue for Safe, Agile, and Socially Optimal Multi-Agent Navigation in Constrained Environments

arXiv:2503.12333v2 Announce Type: replace Abstract: Safe, agile, and socially compliant multi-robot navigation in cluttered and constrained environments remains a critical challenge. This is especiall

agentsarxiv-cs-ro

Gate-and-Merge: Zero-shot Compositional Personalization of Vision Language Models

arXiv:2605.08702v1 Announce Type: cross Abstract: This paper tackles compositional personalization of vision-language models (VLMs). In this problem, multiple user-defined concepts must be recognized

GELATO: Generative Entropy- and Lyapunov-based Adaptive Token Offloading for Device-Edge Speculative LLM Inference

arXiv:2605.10124v1 Announce Type: cross Abstract: The recent growth of on-device Large Language Model (LLM) inference has driven significant interest in device-edge collaborative LLM inference. As a p

local-aiarxiv-cs-lg

GemDepth: Geometry-Embedded Features for 3D-Consistent Video Depth

arXiv:2605.10525v1 Announce Type: new Abstract: Video depth estimation extends monocular prediction into the temporal domain to ensure coherence. However, existing methods often suffer from spatial bl

safetyarxiv-cs-cv