Search: “engineering”

VeriGraph: Scene Graphs for Execution Verifiable Robot Planning

arXiv:2411.10446v3 Announce Type: replace-cross Abstract: Recent progress in vision-language models (VLMs) has opened new possibilities for robot task planning, but these models often produce incorrec

agentsarxiv-cs-ai

20 Apr 2026

All Blog X Post Paper YouTube Reddit GitHub

Clear filters

VeriMoA: A Mixture-of-Agents Framework for Spec-to-HDL Generation

DGX agent

arXiv:2510.27617v2 Announce Type: replace Abstract: Automation of Register Transfer Level (RTL) design can help developers meet increasing computational demands. Large Language Models (LLMs) show prom

agentsarxiv-cs-ai

20 Apr 2026

vla-eval: A Unified Evaluation Harness for Vision-Language-Action Models

model-releasesarxiv-cs-ai

arXiv:2603.13966v2 Announce Type: replace Abstract: Vision-Language-Action (VLA) models are increasingly evaluated across multiple simulation benchmarks, yet adding each benchmark to an evaluation pip

20 Apr 2026

Chinese Language Is Not More Efficient Than English in Vibe Coding: A Preliminary Study on Token Cost and Problem-Solving Rate

model-releasesarxiv-cs-cl

arXiv:2604.14210v1 Announce Type: new Abstract: A claim has been circulating on social media and practitioner forums that Chinese prompts are more token-efficient than English for LLM coding tasks, po

Cognitive Offloading in Agile Teams: How Artificial Intelligence Reshapes Risk Assessment and Planning Quality

arXiv:2604.13814v1 Announce Type: cross Abstract: Recent advances in artificial intelligence (AI) have shown promise in automating key aspects of Agile project management, yet their impact on team cog

researcharxiv-cs-ai

Conformal Policy Control

arXiv:2603.02196v2 Announce Type: replace-cross Abstract: An agent must try new behaviors to explore and improve. In high-stakes environments, an agent that violates safety constraints may cause harm

safetyarxiv-cs-lg

DPSQL+: A Differentially Private SQL Library with a Minimum Frequency Rule

model-releasesarxiv-cs-lg

arXiv:2602.22699v2 Announce Type: replace-cross Abstract: SQL is the de facto interface for exploratory data analysis; however, releasing exact query results can expose sensitive information through m

EchoAgent: Towards Reliable Echocardiography Interpretation with 'Eyes','Hands' and 'Minds'

arXiv:2604.05541v2 Announce Type: replace Abstract: Reliable interpretation of echocardiography (Echo) is crucial for assessing cardiac function, which demands clinicians to synchronously orchestrate

agentsarxiv-cs-cv

Enhancing LLM-Based Neural Network Generation: Few-Shot Prompting and Efficient Validation for Automated Architecture Design

arXiv:2512.24120v2 Announce Type: replace Abstract: Automated neural network architecture design remains a significant challenge in computer vision. Task diversity and computational constraints requir

researcharxiv-cs-cv

Exploration and Exploitation Errors Are Measurable for Language Model Agents

arXiv:2604.13151v1 Announce Type: new Abstract: Language Model (LM) agents are increasingly used in complex open-ended decision-making tasks, from AI coding to physical AI. A core requirement in these

safetyarxiv-cs-ai

Tutorials

FRAGATA: Semantic Retrieval of HPC Support Tickets via Hybrid RAG over 20 Years of Request Tracker History

arXiv:2604.13721v1 Announce Type: cross Abstract: The technical support team of a supercomputing centre accumulates, over the course of decades, a large volume of resolved incidents that constitute cr

tutorialsarxiv-cs-ai

From Black Box to Glass Box: Cross-Model ASR Disagreement to Prioto Review in Ambient AI Scribe Documentation

arXiv:2604.14152v1 Announce Type: cross Abstract: Ambient AI 'scribe' systems promise to reduce clinical documentation burden, but automatic speech recognition (ASR) errors can remain unnoticed withou

applicationsarxiv-cs-cl

Hardware

From Natural Language to PromQL: A Catalog-Driven Framework with Dynamic Temporal Resolution for Cloud-Native Observability

arXiv:2604.13048v1 Announce Type: cross Abstract: Modern cloud-native platforms expose thousands of time series metrics through systems like Prometheus, yet formulating correct queries in domain-speci

hardwarearxiv-cs-ai

HY-World 2.0: A Multi-Modal World Model for Reconstructing, Generating, and Simulating 3D Worlds

arXiv:2604.14268v1 Announce Type: new Abstract: We introduce HY-World 2.0, a multi-modal world model framework that advances our prior project HY-World 1.0. HY-World 2.0 accommodates diverse input mod

researcharxiv-cs-cv

Label-efficient underwater species classification with logistic regression on frozen foundation model embeddings

model-releasesarxiv-cs-cv

arXiv:2604.00313v2 Announce Type: replace Abstract: Automated species classification from underwater imagery is bottlenecked by the cost of expert annotation, and supervised models trained on one data

Language Model Fine-Tuning on Scaled Survey Data for Predicting Distributions of Public Opinions

arXiv:2502.16761v2 Announce Type: replace Abstract: Large language models (LLMs) present novel opportunities in public opinion research by predicting survey responses in advance during the early stage

applicationsarxiv-cs-cl

Large Language Models to Enhance Business Process Modeling: Past, Present, and Future Trends

arXiv:2604.14034v1 Announce Type: cross Abstract: Recent advances in Generative Artificial Intelligence, particularly Large Language Models (LLMs), have stimulated growing interest in automating or as

applicationsarxiv-cs-ai

LongAct: Harnessing Intrinsic Activation Patterns for Long-Context Reinforcement Learning

model-releasesarxiv-cs-cl

arXiv:2604.14922v1 Announce Type: cross Abstract: Reinforcement Learning (RL) has emerged as a critical driver for enhancing the reasoning capabilities of Large Language Models (LLMs). While recent ad

Low-Cost System for Automatic Recognition of Driving Pattern in Assessing Interurban Mobility using Geo-Information

arXiv:2604.15216v1 Announce Type: cross Abstract: Mobility in urban and interurban areas, mainly by cars, is a day-to-day activity of many people. However, some of its main drawbacks are traffic jams

MCPThreatHive: Automated Threat Intelligence for Model Context Protocol Ecosystems

arXiv:2604.13849v1 Announce Type: cross Abstract: The rapid proliferation of Model Context Protocol (MCP)-based agentic systems has introduced a new category of security threats that existing framewor

agentsarxiv-cs-ai

MedVerse: Efficient and Reliable Medical Reasoning via DAG-Structured Parallel Execution

arXiv:2602.07529v3 Announce Type: replace Abstract: Large language models (LLMs) have demonstrated strong performance and rapid progress in a wide range of medical reasoning tasks. However, their sequ

Hardware

Model Capability Dominates: Inference-Time Optimization Lessons from AIMO 3

arXiv:2603.27844v2 Announce Type: replace Abstract: Majority voting over multiple LLM attempts improves mathematical reasoning, but correlated errors limit the effective sample size. A natural fix is

hardwarearxiv-cs-cl

Polyformer: a generative framework for thermodynamic modeling of polymeric molecules

arXiv:2604.14241v1 Announce Type: cross Abstract: The classic paradigm of structural biology is that the sequence of a biomolecule (protein, nucleic acid, lipid, etc) determines its conformation (shap

Psychological Steering of Large Language Models

arXiv:2604.14463v1 Announce Type: new Abstract: Large language models (LLMs) emulate a consistent human-like behavior that can be shaped through activation-level interventions. This paradigm is conver

researcharxiv-cs-cl

R3D: Revisiting 3D Policy Learning

arXiv:2604.15281v1 Announce Type: new Abstract: 3D policy learning promises superior generalization and cross-embodiment transfer, but progress has been hindered by training instabilities and severe o

safetyarxiv-cs-cv

The Code Whisperer: LLM and Graph-Based AI for Smell and Vulnerability Resolution

arXiv:2604.13114v1 Announce Type: cross Abstract: Code smells and software vulnerabilities both increase maintenance cost, yet they are often handled by separate tools that miss structural context and

researcharxiv-cs-ai

The Specification Trap: Why Static Value Alignment Alone Is Insufficient for Robust Alignment

arXiv:2512.03048v4 Announce Type: replace-cross Abstract: Static content-based AI value alignment is insufficient for robust alignment under capability scaling, distributional shift, and increasing au

safetyarxiv-cs-lg

Towards Trustworthy 6G Network Digital Twins: A Framework for Validating Counterfactual What-If Analysis in Edge Computing Resources

arXiv:2604.14787v1 Announce Type: cross Abstract: Network Digital Twins (NDTs) enable safe what-if analysis for 6G cloud-edge infrastructures, but adoption is often limited by fragmented workflows fro

safetyarxiv-cs-lg

Which bird does not have wings: Negative-constrained KGQA with Schema-guided Semantic Matching and Self-directed Refinement

arXiv:2604.14749v1 Announce Type: new Abstract: Large language models still struggle with faithfulness and hallucinations despite their remarkable reasoning abilities. In Knowledge Graph Question Answ

applicationsarxiv-cs-cl

WybeCoder: Verified Imperative Code Generation

arXiv:2603.29088v2 Announce Type: replace-cross Abstract: Recent progress in large language models (LLMs) has substantially advanced automatic code generation and formal theorem proving, yet software

agentsarxiv-cs-ai

A Complete Symmetry Classification of Shallow ReLU Networks

model-releasesarxiv-cs-lg

arXiv:2604.14037v1 Announce Type: new Abstract: Parameter space is not function space for neural network architectures. This fact, investigated as early as the 1990s under terms such as ``reverse engi

BOAT: Navigating the Sea of In Silico Predictors for Antibody Design via Multi-Objective Bayesian Optimization

arXiv:2604.13980v1 Announce Type: new Abstract: Antibody lead optimization is inherently a multi-objective challenge in drug discovery. Achieving a balance between different drug-like properties is cr

CLIP Architecture for Abdominal CT Image-Text Alignment and Zero-Shot Learning: Investigating Batch Composition and Data Scaling

arXiv:2604.13561v1 Announce Type: new Abstract: Vision-language models trained with contrastive learning on paired medical images and reports show strong zero-shot diagnostic capabilities, yet the eff

safetyarxiv-cs-cv

Concrete Jungle: Towards Concreteness Paved Contrastive Negative Mining for Compositional Understanding

arXiv:2604.13313v1 Announce Type: new Abstract: Vision-Language Models demonstrate remarkable capabilities but often struggle with compositional reasoning, exhibiting vulnerabilities regarding word or

Hierarchical Reinforcement Learning with Runtime Safety Shielding for Power Grid Operation

model-releasesarxiv-cs-lg

arXiv:2604.14032v1 Announce Type: cross Abstract: Reinforcement learning has shown promise for automating power-grid operation tasks such as topology control and congestion management. However, its de

Hardware

Hydra: Unifying Document Retrieval and Generation in a Single Vision-Language Model

arXiv:2603.28554v2 Announce Type: replace Abstract: Visual document understanding typically requires separate retrieval and generation models, doubling memory and system complexity. We present Hydra,

hardwarearxiv-cs-cv

Learning-Based Estimation of Spatially Resolved Scatter Radiation Fields in Interventional Radiology

arXiv:2512.17654v3 Announce Type: replace Abstract: We present three variants of a lightweight, fully connected artificial neural network, suited for interactive estimation of three-dimensional, spati

Learning from Change: Predictive Models for Incident Prevention in a Regulated IT Environment

arXiv:2604.13462v1 Announce Type: cross Abstract: Effective IT change management is important for businesses that depend on software and services, particularly in highly regulated sectors such as fina

applicationsarxiv-cs-lg

Local Ai

Nested Fourier-enhanced neural operator for efficient modeling of radiation transfer in fires

arXiv:2604.13919v1 Announce Type: cross Abstract: Computational fluid dynamics (CFD) has become an essential tool for predicting fire behavior, yet maintaining both efficiency and accuracy remains cha

local-aiarxiv-cs-lg

Tutorials

Optimizing Earth Observation Satellite Schedules under Unknown Operational Constraints: An Active Constraint Acquisition Approach

arXiv:2604.13283v1 Announce Type: cross Abstract: Earth Observation (EO) satellite scheduling (deciding which imaging tasks to perform and when) is a well-studied combinatorial optimization problem. E

tutorialsarxiv-cs-lg

Outperforming Self-Attention Mechanisms in Solar Irradiance Forecasting via Physics-Guided Neural Networks

arXiv:2604.13455v1 Announce Type: new Abstract: Accurate Global Horizontal Irradiance (GHI) forecasting is critical for grid stability, particularly in arid regions characterized by rapid aerosol fluc

Physics-Informed Neural Networks for Methane Sorption: Cross-Gas Transfer Learning, Ensemble Collapse Under Physics Constraints, and Monte Carlo Dropout Uncertainty Quantification

arXiv:2604.13992v1 Announce Type: new Abstract: Accurate methane sorption prediction across heterogeneous coal ranks requires models that combine thermodynamic consistency, efficient knowledge transfe

Robust Energy-Aware Routing for Air-Ground Cooperative Multi-UAV Delivery in Wind-Uncertain Environments

arXiv:2604.13441v1 Announce Type: new Abstract: Ensuring energy feasibility under wind uncertainty is critical for the safety and reliability of UAV delivery missions. In realistic truck-drone logisti

safetyarxiv-cs-ro

Simulation-Based Optimisation of Batting Order and Bowling Plans in T20 Cricket

arXiv:2604.13861v1 Announce Type: new Abstract: This paper develops a unified Markov Decision Process (MDP) framework for optimising two recurring in-match decisions in T20 cricket namely batting orde

Social media polarization during conflict: Insights from an ideological stance dataset on Israel-Palestine Reddit comments

arXiv:2502.00414v2 Announce Type: replace Abstract: In politically sensitive scenarios like wars, social media serves as a platform for polarized discourse and expressions of strong ideological stance

researcharxiv-cs-cl

Text-as-Signal: Quantitative Semantic Scoring with Embeddings, Logprobs, and Noise Reduction

model-releasesarxiv-cs-cl

arXiv:2604.13056v1 Announce Type: new Abstract: This paper presents a practical pipeline for turning text corpora into quantitative semantic signals. Each news item is represented as a full-document e

Using reasoning LLMs to extract SDOH events from clinical notes

arXiv:2604.13502v1 Announce Type: new Abstract: Social Determinants of Health (SDOH) refer to environmental, behavioral, and social conditions that influence how individuals live, work, and age. SDOH

researcharxiv-cs-cl

Advancing Multi-Agent RAG Systems with Minimalist Reinforcement Learning