Search: “automated”

MINIF2F-DAFNY: LLM-Guided Mathematical Theorem Proving via Auto-Active Verification

model-releasesarxiv-cs-lg

arXiv:2512.10187v3 Announce Type: replace Abstract: LLMs excel at reasoning, but validating their steps remains challenging. Formal verification offers a solution through mechanically checkable proofs

Content type

All Blog X Post Paper YouTube Reddit GitHub

Clear filters

Local Ai

Spatio-Temporal Retrieval-based Priors for Adaptive Computational Teaching in Driving

DGX agent

arXiv:2606.25224v1 Announce Type: new Abstract: Learning-based automated coaching systems for complex motor tasks such as high-performance driving remain limited in the ability to be adaptive by their

local-aiarxiv-cs-ro

25 Jun 2026

Taxonomy-aware deep learning for hierarchical marine species classification in underwater imagery

arXiv:2606.25989v1 Announce Type: new Abstract: Automated classification of marine species from underwater imagery is essential for scalable ocean biodiversity monitoring and conservation policy. Exis

Test-Time Adaptation in Optical Coherence Tomography Using Trajectory-Aligned Time-Independent Flow

arXiv:2606.18876v2 Announce Type: replace Abstract: Optical coherence tomography (OCT) is essential in ophthalmology, but inconsistent image quality especially in low-cost devices hinders automated an

applicationsarxiv-cs-cv

The Tatoxa System for Text Detoxification in Low-Resource Languages: The Case of Tatar

arXiv:2606.26015v1 Announce Type: new Abstract: Text detoxification, the automated detection and mitigation of abusive and harmful content, is essential for ensuring the safety of online communities a

safetyarxiv-cs-cl

A Comparative Study of Bayesian Contextual Bandits for Real-Time Warehouse Sorter Optimization

arXiv:2606.23977v1 Announce Type: new Abstract: Efficient sorter diversion control of automated material handling systems (MHS) is critical for optimizing operational efficiency in large-scale warehou

safetyarxiv-cs-lg

A Dual Edge Spatial Jacobian Image Graph for Interpretable Diabetic Retinopathy Grading

arXiv:2606.24168v1 Announce Type: cross Abstract: Automated diabetic retinopathy (DR) grading from colour fundus photographs can achieve strong predictive performance, but clinical interpretation requ

AerialFusionMapNet: Online HD Map Construction with Aerial-Onboard BEV Fusion

arXiv:2606.24784v1 Announce Type: new Abstract: High-resolution aerial imagery has recently emerged as a complementary modality for automated driving perception and has shown potential to improve bird

AutoSpec: Safety Rule Evolution for LLM Agents via Inductive Logic Programming

arXiv:2606.24245v1 Announce Type: cross Abstract: Large language model (LLM) agents increasingly automate complex tasks by integrating language models with external tools and environments. However, th

safetyarxiv-cs-ai

Beyond the Autoregressive Horizon: A Comprehensive Survey of Diffusion Models, World Modelling, and State Space Models for Code

arXiv:2606.23690v1 Announce Type: cross Abstract: Autoregressive (AR) language models have driven significant progress in automated software engineering, enabling powerful code generation and assistan

researcharxiv-cs-ai

BioPIE: A Biomedical Protocol Information Extraction Dataset for Experiment Understanding

arXiv:2601.04524v2 Announce Type: replace Abstract: Understanding biomedical experiments provides a foundation for downstream tasks, e.g., laboratory automation, and facilitates effective cross-discip

researcharxiv-cs-ai

Breaking the Mirror: Activation-Based Mitigation of Self-Preference in LLM Evaluators

arXiv:2509.03647v2 Announce Type: replace-cross Abstract: Large language models (LLMs) increasingly serve as automated evaluators, yet they suffer from 'self-preference bias': a tendency to favor thei

safetyarxiv-cs-ai

Business as Rulesual: A Benchmark and Framework for Business Rule Flow Modeling with LLMs

model-releasesarxiv-cs-cl

arXiv:2505.18542v4 Announce Type: replace Abstract: Extracting structured procedural knowledge from unstructured business documents is a critical yet unresolved bottleneck in process automation. While

Importance of Intent-Sharing for V2X-based Maneuver Coordination

arXiv:2606.24203v1 Announce Type: cross Abstract: This paper examines the critical role of intent-sharing in enabling effective maneuver coordination for connected and automated vehicles (CAVs). Succe

Light-weight Pronunciation Assessment via Discrete Speech Token Surprisal

arXiv:2606.19910v2 Announce Type: replace Abstract: Training automated pronunciation assessment often relies on labeled learner errors or non-native corpora that are costly to collect. We propose a li

safetyarxiv-cs-cl

Not All Invariants Are Equal: Curating Training Data to Accelerate Program Verification with SLMs

model-releasesarxiv-cs-lg

arXiv:2603.15510v2 Announce Type: replace Abstract: The synthesis of inductive loop invariants remains a critical bottleneck in automated program verification. While Large Language Models (LLMs) show

Performance and Interpretability of Convolutional, Transformer, and Hybrid Deep Learning Models in Colorectal Histology Classification

arXiv:2606.23744v1 Announce Type: cross Abstract: Deep learning has become an important tool in computational pathology, enabling automated analysis of histopathological images. While convolutional ne

VisCritic: Visual State Comparison as Process Reward for GUI Agents

arXiv:2606.24525v1 Announce Type: new Abstract: GUI agents powered by vision-language models show strong potential for automating digital tasks, yet frequently fail in long-horizon scenarios due to th

Brain-Adapter: A Dual-Stream Vision-Language MIL Framework for Comprehensive 3D CT Diagnosis of Acute Intracranial Pathologies

arXiv:2606.23494v1 Announce Type: new Abstract: Automated diagnosis of 3D brain CT scans is essential for critical care, yet it remains challenging due to the heavy reliance on manual annotations and

Cross-Modal Corroboration for Annotation-Free Wildlife Monitoring

arXiv:2606.21613v1 Announce Type: new Abstract: Scaling wildlife monitoring for real-world conservation deployments requires automated analysis of smart sensors that operate under severe annotation sc

Deep Learning-Based Sign Language Recognition from Videos and Cross-Lingual Translation to Indian Vernaculars

model-releasesarxiv-cs-lg

arXiv:2606.22494v1 Announce Type: cross Abstract: Sign language is a primary mode of communication for the global deaf and hard-of-hearing community, yet automated tools that recognize sign gestures f

DPLAN: Minimal Connectivity to Floorplan Generation

arXiv:2606.21159v1 Announce Type: cross Abstract: Automated floor plan generation is an important problem in computational architectural design. The goal is to construct a floor plan from user-defined

Each Judge Its Own Yardstick: Discovering Per-VLM Taxonomies for Physical Video Evaluation

arXiv:2606.22918v1 Announce Type: new Abstract: Maintaining physical consistency in video generators and world models increasingly relies on vision-language models (VLMs) as automated judges that prov

GTA-Net: Cooperative Game Theory for Vision-Language Alignment in Chest X-Ray Report Generation

arXiv:2606.21915v1 Announce Type: new Abstract: Automated chest X-ray report generation requires precise cross-modal grounding to ensure clinically reliable descriptions. However, existing vision-lang

Integrated cloud-based architecture for robot-robot and human-robot collaboration using ROS 2--MQTT in Mediterranean Greenhouses

arXiv:2606.22682v1 Announce Type: new Abstract: The imperative to develop more sustainable agriculture demands a transition from isolated automation toward the deployment of multi-robot systems (MRS)

applicationsarxiv-cs-ro

Lane Change Intention Prediction of two distinct Populations using a Transformer

arXiv:2509.06529v2 Announce Type: replace Abstract: In complex traffic scenarios, intention prediction of surrounding vehicles can improve the strategy of automated driving functions. Existing work on

researcharxiv-cs-lg

Local Ai

MIRAGE: Stealthy Visual Prompt Injection for Vulnerability Detection in Web Agents

arXiv:2606.20717v1 Announce Type: new Abstract: Multimodal Large Language Model (MLLM)-based web agents provide practical, high-precision solutions for visual browser automation; however, they inheren

local-aiarxiv-cs-cv

Tutorials

Native space based pipelines outperform template space based pipeline in subcortical segmentation

arXiv:2606.21463v1 Announce Type: new Abstract: Accurate segmentation of subcortical regions is critical for neurosurgical planning and functional research. Most automated methods rely on template spa

tutorialsarxiv-cs-cv

Local Ai

NeoLoc-68: End-to-end 68-point neonatal facial landmark localisation in neonatal clinical environments

arXiv:2606.20823v1 Announce Type: new Abstract: Facial landmark localisation is a prerequisite for developing automated, non-contact neonatal pain assessment methods. Clinicians use pain scales to jud

local-aiarxiv-cs-cv

One Image is All You Need: Agentic One-Shot Image Generation via Text-Based World Models for Long-Tail Spatial Perception

arXiv:2606.20764v1 Announce Type: new Abstract: Reliable spatial decision automation, such as autonomous driving and maritime surveillance, critically depends on robust visual perception. However, rea

Open Annotations and Synthetic Data for Field Localisation in Indian Bank Cheques

arXiv:2606.20682v1 Announce Type: new Abstract: Automated cheque processing requires localising key fields (date, legal amount, IFSC code, account number, signature, and payee name) before any recogni

Precision Recall Controllable Radiology Report Generation via Hybrid Natural Language and Clinical Reward Learning

arXiv:2606.21447v1 Announce Type: cross Abstract: Automated radiology report generation (RRG) has gained increasing attention because it can reduce the heavy workload of clinical report writing. Howev

Towards Robust Training in NNGPT AutoML Pipeline: A Loss-Optimizer Pairing Selection Study

arXiv:2606.20933v1 Announce Type: new Abstract: The choice of loss function and optimizer is an important decision, that shapes further model training. Yet automated architecture search pipelines (Aut

researcharxiv-cs-lg

UniSLAD: A Unified Framework for Structural and Logical Industrial Visual Anomaly Detection

arXiv:2606.20768v1 Announce Type: new Abstract: Visual anomaly detection is a fundamental task in industrial automation. While existing approaches have achieved notable progress in identifying structu

Zero-Shot Vision-Language Models for Classroom Engagement Recognition: A Benchmark Study of Prompt Sensitivity and Cross-Dataset Generalization

arXiv:2606.21861v1 Announce Type: new Abstract: Automated classroom engagement recognition holds substantial promise for scalable learning analytics, yet the suitability of modern Vision-Language Mode

Bridging the Modality Gap in Forensic Image Retrieval

arXiv:2606.12294v1 Announce Type: new Abstract: Automated image retrieval plays an increasingly critical role in modern forensic analysis, supporting investigative workflows that rely on efficient com

applicationsarxiv-cs-cv

Damage-TriageFormer: A Foundation-Model Framework for Typology-Based Building Damage Assessment from Mono-Temporal Imagery

arXiv:2606.12248v1 Announce Type: new Abstract: Decision-relevant building damage assessment is critical for prioritizing resources and recovery after a disaster, yet most automated methods either fla

Agents

From Nominal Intensity to Equivalent Rainfall: A Path-Based Credibility Evaluation Framework for Simulated Rainfall in Autonomous-Driving Perception Tests

arXiv:2606.11989v1 Announce Type: new Abstract: Credible simulated-rainfall conditions are essential for identifying perception-system boundaries and supporting SOTIF-oriented risk assessment in autom

agentsarxiv-cs-cv

Human-Guided Agentic AI for Multimodal Clinical Prediction: Lessons from the AgentDS Healthcare Benchmark

model-releasesarxiv-cs-ai

arXiv:2602.19502v2 Announce Type: replace Abstract: Agentic AI systems are increasingly capable of autonomous data science workflows, yet clinical prediction tasks demand domain expertise that purely

Human-Guided Co-Manipulation of Carbon Fiber Plies

arXiv:2606.11818v1 Announce Type: new Abstract: The handling of flexible materials is a difficult task to fully automate due to the challenges caused by the deformability of these types of objects. Me

iPack: Intuitive Bin Packing with Large Language Models

arXiv:2503.08445v2 Announce Type: replace Abstract: Robotics and automation are increasingly influential in logistics but remain largely confined to traditional warehouses. In grocery retail, advancem

A complementary study on PlanGPT: Evaluation with defined Performance Metrics and comparison with a planner

model-releasesarxiv-cs-ai

arXiv:2606.10489v1 Announce Type: new Abstract: Automated Planning is a subfield of Artificial Intelligence (AI) where the main objective is generating a sequence of actions, known as a plan, that hel

Agents

Beyond Static Evaluation: Co-Evolutionary Mechanisms for LLM-Driven Strategy Evolution in Adversarial Games

arXiv:2606.10389v1 Announce Type: new Abstract: Recent advances in LLM-driven code evolution have enabled automated discovery by iteratively generating and improving programs. However, applying these

agentsarxiv-cs-ai

Detecting Speculative Language in Biomedical Texts using Recurrent Neural Tensor Networks

arXiv:2606.10471v1 Announce Type: cross Abstract: In this investigation, we delve into the automated detection of speculative language within biomedical articles by utilizing distributed sentence repr

researcharxiv-cs-ai

How can we assess human-agent interactions? Case studies in software agent design

model-releasesarxiv-cs-ai

arXiv:2510.09801v3 Announce Type: replace Abstract: While benchmarks measure the accuracy of LLM-powered agents, they mostly assume full automation, failing to represent the collaborative nature of re

Rod models in continuum and soft robot control: a review

arXiv:2407.05886v3 Announce Type: replace Abstract: Continuum and soft robots can transform automation tasks requiring compliant interaction in constrained or unstructured environments, including heal

applicationsarxiv-cs-ro

Tutorials

Unsupervised Style Representation Learning for AI-Text Detection via Paraphrase Inversion

arXiv:2606.10099v1 Announce Type: cross Abstract: The rapid development of large language models (LLMs) has raised concerns about misuse such as plagiarism, misinformation, and automated influence ope

tutorialsarxiv-cs-ai

A Finetuned SpeechLLM for Joint Multi-Granular L2 Assessment and Natural-Language Rationales