Search: “automated”

Beyond Correctness: Toward Automated Novelty Verification with Lean 4

arXiv:2608.14669v1 Announce Type: new Abstract: Artificial intelligence systems applied to mathematics verify correctness but not novelty: an automatically generated theorem can compile in Lean withou

18 Aug 2026

Human

Content type

All Blog X Post Paper YouTube Reddit GitHub

Clear filters

Tutorials

Global Interpretability via Automated Preprocessing: A Framework Inspired by Psychiatric Questionnaires

DGX agent

arXiv:2602.23459v2 Announce Type: replace Abstract: Psychiatric questionnaires are highly context sensitive and often only weakly predict subsequent symptom severity, which makes the prognostic relati

tutorialsarxiv-cs-lg

17 Aug 2026

Validation of Smartphone-Based Photogrammetric 3D Body Scanning for Automated Anthropometric Measurements Compared with a Commercial Depth-Sensor-Based Body Scanner

arXiv:2608.12827v1 Announce Type: new Abstract: 3D body scanning has become an important tool in healthcare applications because of its rapid and non-invasive nature. While smartphone-based photogramm

applicationsarxiv-cs-cv

14 Aug 2026

Automated Borehole Core Analysis with Report-Derived Weak Labels and Supervised Crack Segmentation

arXiv:2608.12252v1 Announce Type: new Abstract: Borehole archives commonly contain core tray photographs and corresponding digital log reports, but no native pixel-level crack annotations. We investig

13 Aug 2026

AutoWorldModel-Bench: A State-Centric Benchmark for Automated World-Model Research

arXiv:2608.11216v1 Announce Type: new Abstract: World modeling is an unsettled field: architectures, training objectives, and state representations interact in complex ways, and no single recipe domin

13 Aug 2026

Machine Learning-Based Cyber Defense for Cloud Infrastructure: An Adaptive Deep Q-Network Architecture for Intelligent Intrusion Detection and Automated Threat Mitigation

arXiv:2608.12190v1 Announce Type: cross Abstract: With the increasing complexity of cyber assaults in cloud environments, adaptable security solutions are needed that can support real-time detection a

13 Aug 2026

Tree-of-Ideas: Automated Research Ideation via Cross-Trajectory Reasoning over Scholarly Evolution

arXiv:2608.10740v1 Announce Type: new Abstract: Effective research ideation requires moving beyond a static understanding of prior work to trace how research problems and solutions evolve across the l

researcharxiv-cs-ai

12 Aug 2026

Beyond Aggregate Calibration: Decomposing Income-Conditional Recall Disparities in Automated Credit Default Prediction

arXiv:2608.08202v1 Announce Type: new Abstract: Data-centric curation pipelines frequently rely on model confidence scores to flag and filter noisy or mislabeled training instances. Evaluating this fi

safetyarxiv-cs-lg

11 Aug 2026

HandSplatter: Automated Digital Goniometry from Neural Rendering

arXiv:2608.09735v1 Announce Type: new Abstract: Hand and finger disorders are leading contributors to musculoskeletal disability, creating a clinical need for precise methods to quantify joint motion.

11 Aug 2026

Decolonizing Linguistic Policies in Automated Speech Recognition: A Framework for Cross-Culturally Competent Speech AI

arXiv:2608.06141v1 Announce Type: new Abstract: This paper focuses on automatic speech recognition (ASR) and ASR-mediated voice interfaces that shape access to public services, healthcare, and educati

safetyarxiv-cs-cl

7 Aug 2026

Adaptive Sampling for Automated Post-Disaster Rapid Damage Assessment via Level-Set Cost-Aware Bayesian Optimization

arXiv:2608.02868v1 Announce Type: new Abstract: Natural disasters frequently inflict severe damage to the built environment, which demands a rapid, reliable, and cost-effective damage assessment for e

agentsarxiv-cs-lg

5 Aug 2026

AutoSND: From Execution Evidence to Structural Policies for Automated Network Dismantling Heuristic Discovery

arXiv:2608.03653v1 Announce Type: new Abstract: Network dismantling is fundamental to analyzing the robustness and vulnerability of complex systems, yet practical heuristics must balance effectiveness

applicationsarxiv-cs-ai

5 Aug 2026

EditFlow3D: Automated Local Editing of 3D Assets with Trajectory Preservation

model-releasesarxiv-cs-cv

arXiv:2608.03179v1 Announce Type: new Abstract: Controllable local editing of 3D assets requires precise target localization and appropriate visual guidance. However, existing methods lack a simple ye

5 Aug 2026

Automated ECG Interval Measurement and Wave Delineation Using Fast Fourier Convolution ResNet

arXiv:2608.00058v1 Announce Type: cross Abstract: Accurate measurement of ECG intervals, including PR, QRS duration, and QT/QTc, is central to cardiac diagnosis, yet the published ECG delineation lite

safetyarxiv-cs-lg

4 Aug 2026

Cost-Effective Automated Judging of Natural-Language Mathematical Proofs

model-releasesarxiv-cs-cl

arXiv:2608.00004v1 Announce Type: new Abstract: Grading natural-language mathematical proofs is a recurring cost in evaluating math-reasoning systems, and frontier LLM judges are expensive. We ask whe

4 Aug 2026

Can LLMs Really Understand Item Difficulty Levels? Implications for Automated Item Generation Using LLMs

model-releasesarxiv-cs-cl

arXiv:2607.28634v1 Announce Type: new Abstract: The estimation of item difficulty plays a key role in both formative assessment and large-scale high-stakes summative assessments. This study explores h

3 Aug 2026

The Parts Are Greater Than the Sum: Automated Task Sequencing for Efficient Training of Multi-Policy LLMs

model-releasesarxiv-cs-lg

arXiv:2607.29601v1 Announce Type: new Abstract: Parameter-Efficient Fine-Tuning (PEFT) commonly adapts large language models using a single shared Low-Rank Adapter (LoRA). This shared optimization spa

3 Aug 2026

Enhancing Automated Machine Learning via Homogeneous Train-Test Splitting Methods

model-releasesarxiv-cs-lg

arXiv:2607.26625v1 Announce Type: new Abstract: Accurate model evaluation in machine learning depends critically on how datasets are split into training and testing subsets. Standard random splitting

30 Jul 2026

Automated Numerical Stability Analysis of Deep Learning Operators

arXiv:2607.25494v1 Announce Type: cross Abstract: Finite-precision arithmetic unavoidably introduces numerical approximation errors. Numerical computations may use insufficient precision or an imprope

researcharxiv-cs-ai

29 Jul 2026

Agent Team Work Zone: An Automated, Persistent Workspace for Long-Lived Coding Agent Teams

arXiv:2607.22917v1 Announce Type: new Abstract: Large Language Model (LLM) agents have significantly improved coding and programming workflows. Claude Code, in particular, is one of the most powerful

28 Jul 2026

AI leaders sign statement asking the government to do something about automated AI

model-releasesthe-verge-ai

Employees of OpenAI and Anthropic, as well as Google, Meta, Thinking Machines, Microsoft, Mistral, and other leading AI labs, have written a statement to the US government supporting a potential slowd

28 Jul 2026

Toward Automated Detection of Documentation Inconsistencies in Electronic Health Records

model-releasesarxiv-cs-cl

arXiv:2607.22954v1 Announce Type: new Abstract: Objective: To characterize the kinds of internal documentation inconsistencies a general-domain large language model (LLM) can surface from real-world d

28 Jul 2026

DeepUrban: Interaction-Aware Trajectory Prediction and Planning for Automated Driving by Aerial Imagery

arXiv:2601.10554v3 Announce Type: replace Abstract: The efficacy of autonomous driving systems hinges critically on robust prediction and planning capabilities. However, current benchmarks are impeded

agentsarxiv-cs-cv

27 Jul 2026

Digital Twin Modeling of a Highly Automated Agricultural Tractor

arXiv:2607.19912v1 Announce Type: cross Abstract: In efforts to increase research efficiency and availability, a digital twin of our research tractor (AMX G-trac) is created, focusing especially on th

applicationsarxiv-cs-ro

23 Jul 2026

Euclean: Automated Geometry Problem Formalization with Unified Verification in Lean

arXiv:2607.19374v1 Announce Type: new Abstract: Recent formal reasoning systems have reached IMO-level performance, yet they leave a fragmented landscape: algebra and number theory are handled in Lean

researcharxiv-cs-ai

23 Jul 2026

An Agentic AI Scientific Community for Automated Neural Operator Discovery

model-releasesarxiv-cs-lg

arXiv:2607.12122v1 Announce Type: new Abstract: We present an agentic approach to autonomous neural operator discovery based on an AI scientific community, which consists of a swarm of virtual laborat

15 Jul 2026

Local Ai

Automated Tensor Scheduling for Hybrid CPU-GPU LLM Inference on Consumer Devices

arXiv:2607.10183v2 Announce Type: replace-cross Abstract: Running large language models on consumer devices such as laptops and desktops is challenging because model weights often exceed GPU memory ca

local-aiarxiv-cs-ai

15 Jul 2026

Reward-Adaptive Iterative Discovery: A Case Study on Automated Game Testing for NHL26

arXiv:2607.07498v1 Announce Type: cross Abstract: Testing is a major effort for the gaming industry, requiring a significant part of development budget and people power. We present a case study on a d

applicationsarxiv-cs-ai

9 Jul 2026

Automated Recommendation of Programming Learning Content Using Pattern-based Knowledge Components

arXiv:2607.05409v1 Announce Type: cross Abstract: Introductory programming instruction relies on hands-on practice and short learning activities to support mastery of foundational concepts. Although m

Enhanced Seam Segmentation for Automated Welding Robot in Construction Through Transfer Learning: Addressing Limitations of Bilateral Segmentation Network

model-releasesarxiv-cs-cv

arXiv:2607.06150v1 Announce Type: new Abstract: Reliable seam segmentation is essential for autonomous robotic welding in construction, where harsh illumination, specular reflections, and thin weld ge

PolyJarvis: An LLM-Orchestrated Agent for Automated All-Atom Molecular Dynamics of Amorphous Homopolymers

arXiv:2604.02537v2 Announce Type: replace Abstract: All-atom molecular dynamics (MD) simulations can predict polymer properties from molecular structure, yet their execution requires specialized exper

agentsarxiv-cs-cl

RoboVAST: Automated Scenario-Based Validation of Robots at Scale

arXiv:2607.06248v1 Announce Type: new Abstract: Validation of robotic systems critically depends on the operating conditions under which they are assessed. Scenario selection and variation are often m

researcharxiv-cs-ro

From Raw Segmentations to Simulation-Ready Cardiac Meshes: An Automated Framework for Anatomical Reconstruction and Virtual Cohort Generation

arXiv:2607.02564v1 Announce Type: cross Abstract: Computational models of the human heart are widely used to study electromechanical and fluid-dynamical cardiac function and to support applications su

7 Jul 2026

KARMA: Knowledge graph-based Automated Reasoning Materialization and Alignment

arXiv:2607.03166v1 Announce Type: cross Abstract: Template-based contrastive synthesis is scalable, but its candidates often differ only in a few entity-slots while sequence-level optimization spreads

7 Jul 2026

Automated grading of Linux/bash examinations using large language models: a four-level cognitive taxonomy approach

arXiv:2607.02432v1 Announce Type: new Abstract: Scalable and reliable grading of command-line examinations remains a challenge in computing education, where rising enrolments make manual marking diffi

Efficient Waste Sorting for Circular Economy: A Confidence-guided comparison between One-Vs-All and One-Vs-Rest Classification Strategies with Human-in-the-Loop for Automated Waste Sorting

arXiv:2607.02230v1 Announce Type: cross Abstract: The complexity of waste disposal regulations across European countries poses significant challenges for the residents and hinders the transition to a

Grounded Optimization: A Layered Engineering Framework for Reducing LLM Hallucination in Automated Personal Document Rewriting

arXiv:2607.01457v1 Announce Type: cross Abstract: Large language models (LLMs) are increasingly applied to resume optimization for applicant tracking systems, introducing hallucination failures distin

agentsarxiv-cs-ai

RedCoder: Automated Multi-Turn Red Teaming for Code LLMs

arXiv:2507.22063v2 Announce Type: replace-cross Abstract: Large Language Models (LLMs) for code generation (i.e., Code LLMs) have demonstrated impressive capabilities in AI-assisted software developme

ZENITH: Automated Gradient Norm Informed Stochastic Optimization

arXiv:2601.15212v2 Announce Type: replace Abstract: Training deep computer vision models requires manual oversight or hyperparameter tuning of the learning rate (LR) schedule. While existing adaptive

researcharxiv-cs-lg

CryoACE: An Atom-centric Framework for Accurate and Automated Model Building in Cryo-EM

arXiv:2606.31332v1 Announce Type: new Abstract: Protein automodeling from cryo-EM density maps faces unique challenges in enforcing physicochemical validity and managing conformational heterogeneity.

applicationsarxiv-cs-ai

1 Jul 2026

TreeAgent: A Generalizable Multi-Agent Framework for Automated Bias Labeling in Forestry via Compiled Expert Rules and Vision-Language Models

arXiv:2606.31976v1 Announce Type: new Abstract: Human-labeled data are widely used as reference annotations in ML, despite known variability across annotators in many expert-driven domains. In additio

1 Jul 2026

A Point Cloud Transformer for Remote Monitoring and Automated Assessment of Physical Rehabilitation Exercises

arXiv:2606.30309v1 Announce Type: new Abstract: Rehabilitation exercises are essential in restoring lost physical functions of patients suffering from various diseases (e.g., Parkinson's, back pain).

30 Jun 2026

MANGO: Automated Multi-Agent Test Oracle Generation for Vision-Language-Action Models

arXiv:2606.24815v1 Announce Type: cross Abstract: Vision-Language-Action (VLA) models are emerging robotic control systems that integrate perception, language understanding, and action generation in a

agentsarxiv-cs-ro

25 Jun 2026

Transferability for General Reasoning: An Automated Curriculum for Multi-Domain RLVR

arXiv:2606.25178v1 Announce Type: new Abstract: Reinforcement learning with verifiable rewards (RLVR) has been extended from single-domain training to multi-domain reasoning suites spanning mathematic

25 Jun 2026

AdversaBench: Automated LLM Red-Teaming with Multi-Judge Confirmation and Cross-Model Transferability

arXiv:2606.24589v1 Announce Type: new Abstract: Scaling adversarial evaluation of large language models requires both a method for generating hard inputs and a reliable way to confirm that resulting f

24 Jun 2026

IPO Finance Agent: Evaluation of LLM Financial Analysts beyond Finance Agent v2, with Automated Rubric Generation -- the Case of the SpaceX (SPCX) IPO

arXiv:2606.23032v2 Announce Type: replace Abstract: Finance Agent v2 (by Vals AI) has emerged as the reference benchmark for evaluating both Anthropic Claude and OpenAI ChatGPT frontier language model

24 Jun 2026

Automated sign detection across the Electronic Babylonian Library: A large-scale dataset and end-to-end cuneiform OCR pipeline

arXiv:2606.22608v1 Announce Type: new Abstract: Learning to read cuneiform tablets is an extremely demanding task; consequently, of the roughly half million excavated tablets, only a small fraction ha

23 Jun 2026

ConnectomeBench2: A Unified Benchmark for Automated Connectomic Proofreading