Search: “automated”

Evaluating Language Models for Harmful Manipulation

arXiv:2603.25326v4 Announce Type: replace Abstract: Interest in the concept of AI-driven harmful manipulation is growing, yet current approaches to evaluating it are limited. This paper introduces a f

local-aiarxiv-cs-ai

Evaluating LLM-Generated ACSL Annotations for Formal Verification

Content type

All Blog X Post Paper YouTube Reddit GitHub

Clear filters

DGX agent

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

model-releasesarxiv-cs-ai

15 Apr 2026

Evolution-Inspired Sample Competition for Deep Neural Network Optimization

arXiv:2604.12568v1 Announce Type: new Abstract: Conventional deep network training generally optimizes all samples under a largely uniform learning paradigm, without explicitly modeling the heterogene

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

Modeling Co-Pilots for Text-to-Model Translation

arXiv:2604.12955v1 Announce Type: new Abstract: There is growing interest in leveraging large language models (LLMs) for text-to-model translation and optimization tasks. This paper aims to advance th

On Efficient Variants of Segment Anything Model: A Survey

arXiv:2410.04960v5 Announce Type: replace Abstract: The Segment Anything Model (SAM) is a foundational model for image segmentation tasks, known for its strong generalization across diverse applicatio

applicationsarxiv-cs-cv

Spatial-Spectral Adaptive Fidelity and Noise Prior Reduction Guided Hyperspectral Image Denoising

arXiv:2604.12600v1 Announce Type: new Abstract: The core challenge of hyperspectral image denoising is striking the right balance between data fidelity and noise prior modeling. Most existing methods

Uncertainty-Aware Image Classification In Biomedical Imaging Using Spectral-normalized Neural Gaussian Processes

arXiv:2602.02370v2 Announce Type: replace Abstract: Accurate histopathologic interpretation is key for clinical decision-making; however, current deep learning models for digital pathology are often o

A Queueing-Theoretic Framework for Dynamic Attack Surfaces: Data-Integrated Risk Analysis and Adaptive Defense

arXiv:2604.10427v1 Announce Type: cross Abstract: We develop a queueing-theoretic framework to model the temporal evolution of cyber-attack surfaces, where the number of active vulnerabilities is repr

safetyarxiv-cs-ai

Affostruction: 3D Affordance Grounding with Generative Reconstruction

arXiv:2601.09211v2 Announce Type: replace Abstract: This paper addresses the problem of affordance grounding from RGBD images of an object, which aims to localize surface regions corresponding to a te

researcharxiv-cs-cv

AgencyBench: Benchmarking the Frontiers of Autonomous Agents in 1M-Token Real-World Contexts

arXiv:2601.11044v3 Announce Type: replace Abstract: Large Language Models (LLMs) based autonomous agents demonstrate multifaceted capabilities to contribute substantially to economic production. Howev

Agent^2 RL-Bench: Can LLM Agents Engineer Agentic RL Post-Training?

arXiv:2604.10547v1 Announce Type: new Abstract: We introduce Agent^2 RL-Bench, a benchmark for evaluating agentic RL post-training -- whether LLM agents can autonomously design, implement, and run com

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

Bringing Value Models Back: Generative Critics for Value Modeling in LLM Reinforcement Learning

arXiv:2604.10701v1 Announce Type: cross Abstract: Credit assignment is a central challenge in reinforcement learning (RL). Classical actor-critic methods address this challenge through fine-grained ad

ClawGUI: A Unified Framework for Training, Evaluating, and Deploying GUI Agents

arXiv:2604.11784v1 Announce Type: cross Abstract: GUI agents drive applications through their visual interfaces instead of programmatic APIs, interacting with arbitrary software via taps, swipes, and

CSPO: Alleviating Reward Ambiguity for Structured Table-to-LaTeX Generation

arXiv:2604.10918v1 Announce Type: new Abstract: Tables contain rich structured information, yet when stored as images their contents remain 'locked' within pixels. Converting table images into LaTeX c

safetyarxiv-cs-ai

Does Your VFM Speak Plant? The Botanical Grammar of Vision Foundation Models for Object Detection

arXiv:2604.09920v1 Announce Type: new Abstract: Vision foundation models (VFMs) offer the promise of zero-shot object detection without task-specific training data, yet their performance in complex ag

applicationsarxiv-cs-cv

Dual-Branch Remote Sensing Infrared Image Super-Resolution

arXiv:2604.10112v1 Announce Type: new Abstract: Remote sensing infrared image super-resolution aims to recover sharper thermal observations from low-resolution inputs while preserving target contours,

Enabling Global, Human-Centered Explanations for LLMs:From Tokens to Interpretable Code and Test Generation

arXiv:2503.16771v3 Announce Type: replace-cross Abstract: As Large Language Models for Code (LM4Code) become integral to software engineering, establishing trust in their output becomes critical. Howe

local-aiarxiv-cs-lg

FGML-DG: Feynman-Inspired Cognitive Science Paradigm for Cross-Domain Medical Image Segmentation

arXiv:2604.10524v1 Announce Type: new Abstract: In medical image segmentation across multiple modalities (e.g., MRI, CT, etc.) and heterogeneous data sources (e.g., different hospitals and devices), D

FM-Agent: Scaling Formal Methods to Large Systems via LLM-Based Hoare-Style Reasoning

arXiv:2604.11556v1 Announce Type: cross Abstract: LLM-assisted software development has become increasingly prevalent, and can generate large-scale systems, such as compilers. It becomes crucial to st

House of Dextra: Cross-embodied Co-design for Dexterous Hands

arXiv:2512.03743v5 Announce Type: replace-cross Abstract: Dexterous manipulation is limited by both control and design, without consensus as to what makes manipulators best for performing dexterous ta

applicationsarxiv-cs-lg

Inferring Dynamic Physical Properties from Video Foundation Models

arXiv:2510.02311v2 Announce Type: replace Abstract: We study the task of predicting dynamic physical properties from videos. More specifically, we consider physical properties that require temporal in

applicationsarxiv-cs-cv

Inside the Scaffold: A Source-Code Taxonomy of Coding Agent Architectures

arXiv:2604.03515v2 Announce Type: replace-cross Abstract: LLM-based coding agents can localize bugs, generate patches, and run tests with diminishing human oversight, yet the scaffolding code that sur

local-aiarxiv-cs-ai

Lectures on AI for Mathematics

arXiv:2604.11504v1 Announce Type: new Abstract: This book provides a comprehensive and accessible introduction to the emerging field of AI for mathematics. It covers the core principles and diverse ap

LIDARLearn: A Unified Deep Learning Library for 3D Point Cloud Classification, Segmentation, and Self-Supervised Representation Learning

model-releasesarxiv-cs-cv

arXiv:2604.10780v1 Announce Type: new Abstract: Three-dimensional (3D) point cloud analysis has become central to applications ranging from autonomous driving and robotics to forestry and ecological m

LLMs for Qualitative Data Analysis Fail on Security-specificComments in Human Experiments

arXiv:2604.10834v1 Announce Type: cross Abstract: [Background:] Thematic analysis of free-text justifications in human experiments provides significant qualitative insights. Yet, it is costly because

MERMAID: Memory-Enhanced Retrieval and Reasoning with Multi-Agent Iterative Knowledge Grounding for Veracity Assessment

arXiv:2601.22361v2 Announce Type: replace-cross Abstract: Assessing the veracity of online content has become increasingly critical. Large language models (LLMs) have recently enabled substantial prog

METRO: Towards Strategy Induction from Expert Dialogue Transcripts for Non-collaborative Dialogues

arXiv:2604.11427v1 Announce Type: cross Abstract: Developing non-collaborative dialogue agents traditionally requires the manual, unscalable codification of expert strategies. We propose ours, a metho

PERCEPT-Net: A Perceptual Loss Driven Framework for Reducing MRI Artifact Tissue Confusion

arXiv:2604.10439v1 Announce Type: new Abstract: Purpose: Existing deep learning-based MRI artifact correction models exhibit poor clinical generalization due to inherent artifact-tissue confusion, fai

researcharxiv-cs-cv

Plug-and-Play Dramaturge: A Divide-and-Conquer Approach for Iterative Narrative Script Refinement via Collaborative LLM Agents

arXiv:2510.05188v2 Announce Type: replace Abstract: Although LLMs have been widely adopted for creative content generation, a single-pass process often struggles to produce high-quality long narrative

local-aiarxiv-cs-ai

Prints in the Magnetic Dust: Robust Similarity Search in Legacy Media Images Using Checksum Count Vectors

arXiv:2604.09657v1 Announce Type: new Abstract: Digitizing magnetic media containing computer data is only the first step towards the preservation of early home computing era artifacts. The audio tape

researcharxiv-cs-cv

PRoID: Predicted Rate of Information Delivery in Multi-Robot Exploration and Relaying

arXiv:2604.10433v1 Announce Type: new Abstract: We address Multi-Robot Exploration and Relaying (MRER): a team of robots must explore an unknown environment and deliver acquired information to a fixed

applicationsarxiv-cs-ro

Putting the Value Back in RL: Better Test-Time Scaling by Unifying LLM Reasoners With Verifiers

arXiv:2505.04842v2 Announce Type: replace-cross Abstract: Prevalent reinforcement learning~(RL) methods for fine-tuning LLM reasoners, such as GRPO or Leave-one-out PPO, abandon the learned value func

Resilient Write: A Six-Layer Durable Write Surface for LLM Coding Agents

arXiv:2604.10842v1 Announce Type: cross Abstract: LLM-powered coding agents increasingly rely on tool-use protocols such as the Model Context Protocol~(MCP) to read and write files on a developer's wo

safetyarxiv-cs-ai

Retrieval-Augmented Large Language Models for Evidence-Informed Guidance on Cannabidiol Use in Older Adults

arXiv:2604.09548v1 Announce Type: cross Abstract: Older adults commonly experience chronic conditions such as pain and sleep disturbances and may consider cannabidiol for symptom management. Safe use

Seeing Through Touch: Tactile-Driven Visual Localization of Material Regions

arXiv:2604.11579v1 Announce Type: new Abstract: We address the problem of tactile localization, where the goal is to identify image regions that share the same material properties as a tactile input.

Stop Fixating on Prompts: Reasoning Hijacking and Constraint Tightening for Red-Teaming LLM Agents

arXiv:2604.05549v2 Announce Type: replace Abstract: With the widespread application of LLM-based agents across various domains, their complexity has introduced new security threats. Existing red-team

safetyarxiv-cs-cl

Towards Autonomous Mechanistic Reasoning in Virtual Cells

arXiv:2604.11661v1 Announce Type: cross Abstract: Large language models (LLMs) have recently gained significant attention as a promising approach to accelerate scientific discovery. However, their app

What Do Vision-Language Models Encode for Personalized Image Aesthetics Assessment?

arXiv:2604.11374v1 Announce Type: cross Abstract: Personalized image aesthetics assessment (PIAA) is an important research problem with practical real-world applications. While methods based on vision

applicationsarxiv-cs-cl

Adaptive Candidate Point Thompson Sampling for High-Dimensional Bayesian Optimization

arXiv:2604.08891v1 Announce Type: new Abstract: In Bayesian optimization, Thompson sampling selects the evaluation point by sampling from the posterior distribution over the objective function maximiz

applicationsarxiv-cs-lg

An Open-Source, Open Data Approach to Activity Classification from Triaxial Accelerometry in an Ambulatory Setting

arXiv:2604.09451v1 Announce Type: cross Abstract: The accelerometer has become an almost ubiquitous device, providing enormous opportunities in healthcare monitoring beyond step counting or other aver

applicationsarxiv-cs-lg

Batch Distillation Data for Developing Machine Learning Anomaly Detection Methods

arXiv:2510.18075v2 Announce Type: replace Abstract: Machine learning (ML) holds great potential to advance anomaly detection (AD) in chemical processes. However, the development of ML-based methods is

researcharxiv-cs-lg

CatalogStitch: Dimension-Aware and Occlusion-Preserving Object Compositing for Catalog Image Generation

model-releasesarxiv-cs-cv

arXiv:2604.08836v1 Announce Type: new Abstract: Generative object compositing methods have shown remarkable ability to seamlessly insert objects into scenes. However, when applied to real-world catalo

Deep Learning-Based Tracking and Lineage Reconstruction of Ligament Breakup

arXiv:2604.08711v1 Announce Type: cross Abstract: The disintegration of liquid sheets into ligaments and droplets involves highly transient, multi-scale dynamics that are difficult to quantify from hi

DiffHDR: Re-Exposing LDR Videos with Video Diffusion Models

arXiv:2604.06161v2 Announce Type: replace-cross Abstract: Most digital videos are stored in 8-bit low dynamic range (LDR) formats, where much of the original high dynamic range (HDR) scene radiance is

applicationsarxiv-cs-ai

Distilling Genomic Models for Efficient mRNA Representation Learning via Embedding Matching

arXiv:2604.08574v1 Announce Type: cross Abstract: Large Genomic Foundation Models have recently achieved remarkable results and in-vivo translation capabilities. However these models quickly grow to o

Dynamic Class-Aware Active Learning for Unbiased Satellite Image Segmentation

arXiv:2604.08965v1 Announce Type: new Abstract: Semantic segmentation of satellite imagery plays a vital role in land cover mapping and environmental monitoring. However, annotating large-scale, high-