Search: “engineering”

On the Limitations of Large Language Models for Conceptual Database Modeling

arXiv:2605.11986v2 Announce Type: replace Abstract: This article analyzes the use of Large Language Models (LLMs) as support for the conceptual modeling of relational databases through the automatic g

Content type

All Blog X Post Paper YouTube Reddit GitHub

Clear filters

Safety

Robotic Multiphase Interaction: Manipulating Coupled Liquid and Solid Dynamics with a World Model

DGX agent

arXiv:2609.21448v1 Announce Type: new Abstract: This work presents extit{Robotic Multiphase Interaction (RMI)}, a setting in which liquid enters a porous material and interacts mechanically with its d

safetyarxiv-cs-ro

21 Sept 2026

Tutorials

Self-Explanation Tutor for Active Study of CS1 Worked Examples

arXiv:2608.25180v2 Announce Type: replace-cross Abstract: Worked examples are an important part of introductory programming, but reading their expert explanations is passive. Self explanation, student

tutorialsarxiv-cs-ai

Local Ai

Transferable knowledge graphs with executable learned operators for algorithm design

arXiv:2603.27922v2 Announce Type: replace Abstract: Procedural knowledge in algorithm design is embedded in source code and rebuilt for each new domain. We introduce Generative Executable Algorithm Kn

local-aiarxiv-cs-ai

Local Ai

Transformers Discover Molecular Structure Without Graph Priors

arXiv:2510.02259v2 Announce Type: replace Abstract: Computational simulations play a central role in scientific discovery, and machine learning (ML) has emerged as a promising alternative to tradition

local-aiarxiv-cs-lg

ZYT-World: A Real-Time Controllable World Model for Closed-Loop Autonomous-Driving Simulation

model-releasesarxiv-cs-cv

arXiv:2609.21712v1 Announce Type: new Abstract: Generative world models offer controllable and repeatable closed-loop simulation for end-to-end and vision-language-action driving policies, but product

BuildBench: Benchmarking LLM Agents on Compiling Real-World Open-Source Software

arXiv:2509.25248v2 Announce Type: replace-cross Abstract: Automatically compiling open-source software (OSS) projects is a vital, labor-intensive, and complex task, which makes it a good challenge for

Characterizing Web Search by Conversational LLM Agents: From Search Decisions and Strategies to Results and Responses

arXiv:2609.19244v1 Announce Type: new Abstract: Conversational LLM agents increasingly rely on Web search, yet the end-to-end lifecycle of agentic search remains poorly understood. We present the firs

Constraint-Safe Graph-Context Scoring for Stable Point-Feature Labels Under Text-Width and Accessibility-Inspired Profiles

arXiv:2609.19848v1 Announce Type: new Abstract: Point-feature label placement on interactive maps must reconcile geometric validity, display yield, local placement utility, and stability across camera

Agents

CovR: Coverage-Aware Hardware Verification via Reasoning-Guided Reinforcement Learning

arXiv:2609.19189v1 Announce Type: cross Abstract: Design verification remains one of the most resource-intensive stages of hardware development, often consuming up to 70% of the total design effort. W

agentsarxiv-cs-cl

Cross-Architecture Foundation-Model Distillation for Edge Flood Segmentation

model-releasesarxiv-cs-cv

arXiv:2609.20441v1 Announce Type: new Abstract: Geospatial foundation models can provide strong flood-segmentation performance, but their size limits deployment on memory-constrained edge hardware. We

Agents

Deep Noir: Autonomous Steering Discovery via Architectural Chronometry in Transformer Models

arXiv:2609.20722v1 Announce Type: new Abstract: Activation steering modifies LLM behavior at inference time, but identifying where and how strongly to steer remains manual. We introduce Deep Noir, a f

agentsarxiv-cs-ai

Tutorials

Long-horizon autoformalization of a core theorem underlying MIP* = RE

arXiv:2609.19814v1 Announce Type: cross Abstract: Landmark mathematical formalizations have taken specialist teams years to complete. We present FormalFlow, a system that coordinates AI proving agents

tutorialsarxiv-cs-ai

MAGS: Multi-agent Auto-formalization Guarantees Safety for Agentic Outputs

arXiv:2609.19391v1 Announce Type: new Abstract: LLM coding agents now generate complex programs at a scale that makes thorough human review increasingly difficult, raising the risk of safety and secur

NeuSOGA3D: A Neuro-Symbolic Framework for Explainable 3D Geometric Reconstruction

arXiv:2609.20323v1 Announce Type: new Abstract: Three-dimensional reconstruction from unorganized point clouds remains a challenging problem in computer vision, geometric modeling, and computer-aided

Personalising a Cross-User Surface Electromyography Encoder Under a Small Calibration Budget

arXiv:2609.20296v1 Announce Type: new Abstract: A myoelectric interface needs calibration from the user before it will function. Earlier work has treated calibration as a quantity, but has not asked t

ScientistTwo: Pioneering the Human Knowledge Frontier with Autonomous AI

arXiv:2609.19644v1 Announce Type: new Abstract: Scientific discovery is defined by the ability to identify the boundaries of existing knowledge and venture into unexplored territory. The ultimate visi

Structured Four-Stage Legal Translation: From Natural-Language Traffic Rules to PROLOG

arXiv:2609.20334v1 Announce Type: new Abstract: Traffic regulations are written for human interpretation and therefore rely on shared background knowledge and flexible phrasing, which inherently intro

The Organization of Inference: Information, Resource Constraints, and AI Production

arXiv:2609.20449v1 Announce Type: new Abstract: The economic value of inference depends on how capacity and task information are distributed across stages of AI production. We study these organization

applicationsarxiv-cs-ai

Transformer fault diagnosis using an efficient simulation-driven variational quantum classifier with domain-aware feature encoding

arXiv:2609.20214v1 Announce Type: cross Abstract: Early transformer fault diagnosis is challenged by nonlinear dissolved-gas interactions, overlapping fault signatures, and limited labeled data, while

Agents

VideoResearcher: Self-Improving Tool Design for Long-Video Understanding

arXiv:2609.19664v1 Announce Type: new Abstract: Video agents have made substantial progress in long-video understanding. Yet effective video-agent systems require costly, time-consuming manual design

agentsarxiv-cs-cv

A Comprehensive Review of Generative Physical Artificial Intelligence

arXiv:2609.18111v1 Announce Type: cross Abstract: The integration of large-scale foundation models with physical embodiments has led to significant advancements in robotics known as Generative Physica

A Multitask Large Reasoning Model for Molecular Science

arXiv:2603.12808v2 Announce Type: replace Abstract: Artificial intelligence in molecular science must move beyond pattern recognition toward chemically valid and interpretable reasoning. We present a

applicationsarxiv-cs-lg

A3P5 NEMESIS Integrated Rover Design for Environmental Reconnaissance and Robotic Sampling with Reproducible Mobility Analysis and an External Data Machine Learning Calibration Benchmark

model-releasesarxiv-cs-ro

arXiv:2609.18245v1 Announce Type: new Abstract: A3P5 NEMESIS is a four-wheel rover intended to combine remote inspection, environmental observation and lightweight manipulation within one serviceable

Bayesian Quadrature

arXiv:2602.16218v2 Announce Type: replace Abstract: Bayesian quadrature is a probabilistic, model-based approach to numerical integration, the estimation of intractable integrals, or expectations. Alt

Benchmarking Tabular Foundation Models as Surrogates in Expensive Evolutionary Optimization

arXiv:2609.18130v1 Announce Type: cross Abstract: Surrogate-assisted evolutionary algorithms (SAEAs) are effective methods for solving expensive optimization problems (EOPs), where surrogate models re

Bracketing Uncertainty in Clustering Under the Manifold Hypothesis

arXiv:2609.17892v1 Announce Type: cross Abstract: The manifold hypothesis suggests a natural criterion for clustering: partition data according to the manifold component from which each point is drawn

Compiled Agency: Frontier General-Purpose Coding Agents Build Winning Game Players from Bare Interaction - from Flappy Bird to StarCraft II and Civilization

arXiv:2609.18996v1 Announce Type: new Abstract: LLM agents have repeatedly struggled to convert knowledge of a game into competent play, even when researchers build the agent around the model - supply

Decoding Extrahepatic Targeting of Lipid Nanoparticles with Interpretable Machine Learning

arXiv:2609.17721v1 Announce Type: cross Abstract: Lipid nanoparticles (LNPs) have transformed RNA medicine, yet their clinical utility remains constrained by predominant hepatic accumulation after sys

Democratizing Clinical Tumor Whole Genome Sequencing: 18-hour End-to-end Analysis via Trillion-parameter Large Language Models Locally Deployed on Consumer-grade Hardware

arXiv:2609.17620v1 Announce Type: cross Abstract: Whole genome sequencing (WGS) is essential for precision oncology, yet its clinical adoption remains limited by prohibitive computational costs and mu

Tutorials

Dreaming the Sound of Contact: Leveraging Video and Audio Generation for Zero-Shot Force-Aware Manipulation and Data Generation

arXiv:2609.19137v1 Announce Type: cross Abstract: Recent advances in video generation allow robots to learn manipulation trajectories from generated videos. However, these approaches produce purely ki

tutorialsarxiv-cs-ai

Hardware

Lecture notes on Physics Informed Neural Networks, Neural Operators, and their applications

arXiv:2609.17638v1 Announce Type: cross Abstract: This is the set of lecture notes for the PhD course href{https://www.unibz.it/en/faculties/engineering/phd-computer-science/study-course-offering/2025

hardwarearxiv-cs-ai

Locating Hidden Failures Makes Long-Horizon Agents More Reliable

arXiv:2609.17930v1 Announce Type: new Abstract: As AI agents take on long, autonomous tasks, we increasingly oversee rather than perform the work, yet we still judge them almost entirely by whether th

PentestChain: A Cost-Aware, MCP-Orchestrated Framework for Automated Penetration Testing with Free-Tier LLMs

arXiv:2609.18120v1 Announce Type: cross Abstract: AI-driven penetration testing has been demonstrated with premium frontier models such as GPT-4, but the per-engagement token cost makes continuous, au

Quanta: A Self-Contained Python Library for Hybrid Retrieval over Quantised Embeddings, Lexical Indexes, and Knowledge Graphs

arXiv:2609.18248v1 Announce Type: cross Abstract: An advanced retrieval-augmented generation pipeline is typically assembled from three or four independently operated systems: an approximate nearest-n

Reliable Virtual Sensing: A Multi-Domain Benchmark for Robustness Under Sensor Failures

arXiv:2609.18396v1 Announce Type: cross Abstract: Virtual sensing, the estimation of hard-to-measure quantities from available sensor measurements, is a critical enabler for control and monitoring in

Rethinking How We Evaluate Methodological Progress in Health AI

arXiv:2609.18134v1 Announce Type: cross Abstract: Methodological progress in artificial intelligence (AI) for electronic health records (EHRs) depends on our ability to determine which algorithms work

REVERSAL-BENCH: A Reversibility Axis and Reset Oracle for Measuring the Reset-Free RL Cliff

arXiv:2609.17745v1 Announce Type: cross Abstract: A central goal of autonomous reinforcement learning is continuous policy training without external resets. However, existing paradigms largely depend

Scaling Articulated Rationales for MLLM-based Recommendation

arXiv:2609.17639v1 Announce Type: cross Abstract: Modern recommendation systems largely infer user preferences from implicit behaviors such as clicks, watch time, and negative feedback, but these sign

applicationsarxiv-cs-ai

ShotFinder: Imagination-Driven Open-Domain Video Shot Retrieval via Web Search

arXiv:2601.23232v4 Announce Type: replace-cross Abstract: In recent years, large language models (LLMs) have made rapid progress in information retrieval, yet existing research has mainly focused on t

Synthetic Electric Vehicle Charging Session Generation Using a Conditional Variational Autoencoder

arXiv:2609.17808v1 Announce Type: cross Abstract: The increasing adoption of electric vehicles (EVs) is expected to place significant additional demand on residential distribution networks, creating a

applicationsarxiv-cs-lg

Hardware

TabICLv2: A better, faster, scalable, and open tabular foundation model

arXiv:2602.11139v2 Announce Type: replace Abstract: Tabular foundation models, such as TabPFNv2 and TabICL, have recently dethroned gradient-boosted trees at the top of predictive benchmarks, demonstr

hardwarearxiv-cs-lg

The Other Half of the Memory Wall: Serving 35B MoEs from SSD with Trained Routing Prediction

arXiv:2609.18063v1 Announce Type: new Abstract: Mixture-of-experts (MoE) inference on consumer hardware is bounded by weight memory: a 35B-class model is 19.5GB at 4-bit, and sparsity shrinks the comp

The Uneven Impact of Generative AI on Student Learning: Examining the Roles of Reliance, Evaluation Literacy, and Course Policy in AI-related Courses

arXiv:2609.18676v1 Announce Type: new Abstract: Generative artificial intelligence (GenAI) is changing how students learn, yet the roles of course context, cognitive reliance, evaluation literacy, and

Using OCR Heads to Verbalize Image Semantics

arXiv:2609.18823v1 Announce Type: cross Abstract: How do VLMs map from pixels to semantics? To understand this general question, we focus on a narrow one: studying how VLMs perform optical character r

Version- and Scope-Aware Question Answering over Normative Documents: A Deployed System and an End-to-End Evaluation at Production Scale

arXiv:2609.18769v1 Announce Type: new Abstract: Correctly answering a question grounded in normative documents often depends on information outside any single passage: whether the retrieved document i

vidax: A Unified JAX Framework for Video Generative Models on Accelerator Meshes

arXiv:2609.18077v1 Announce Type: cross Abstract: Open-source video generative models ship almost exclusively as PyTorch/CUDA reference implementations. This leaves Cloud TPU pods without a production

Hardware

WFM: Wiki Foundation Model for Complex Agentic Reasoning

arXiv:2609.18182v1 Announce Type: new Abstract: Real-world agents fundamentally require persistent non-parametric knowledge for dynamic reasoning, i.e., long-term memory and retrieval-augmented genera

hardwarearxiv-cs-ai