Search: “engineering”

SEMBridge: Tagless-Final Program Semantics with Weakest-Precondition and Bounded-Checking Interpretations

arXiv:2606.00220v1 Announce Type: cross Abstract: Formal methods provide rigorous accounts of program behavior, but practical software engineering often works through executable libraries, tests, and

2 Jun 2026

All Blog X Post Paper YouTube Reddit GitHub

Clear filters

Agents

SWE-rebench V2: Language-Agnostic SWE Task Collection at Scale

DGX agent

arXiv:2602.23866v2 Announce Type: replace-cross Abstract: Software engineering agents (SWE) are improving rapidly, with recent gains largely driven by reinforcement learning (RL). However, RL training

agentsarxiv-cs-cl

2 Jun 2026

Training Prompt Matters: State-Adaptive Optimization for Robust Fine-Tuning

arXiv:2606.01967v1 Announce Type: new Abstract: While prompt engineering is instrumental in maximizing the capabilities of Large Language Models (LLMs) during inference, the role of prompts during tra

researcharxiv-cs-cl

2 Jun 2026

Applications

DisjunctiveNet: Neural Symbolic Learning via Differentiable Convexified Optimization Layers

arXiv:2605.30456v1 Announce Type: new Abstract: Many learning tasks in science and engineering are characterized by sparse datasets, which limits the effectiveness of purely data-driven approaches. At

applicationsarxiv-cs-lg

Mechanistic Interpretability as Statistical Estimation: A Variance Analysis

arXiv:2510.00845v4 Announce Type: replace-cross Abstract: Mechanistic Interpretability (MI) aims to reverse-engineer model behaviors by identifying functional sub-networks. Yet, the scientific validit

Scalable Bayesian Inference for Nonlinear Conservation Laws

arXiv:2605.31127v1 Announce Type: new Abstract: Nonlinear conservation laws are at the heart of many of the most important dynamical systems in science and engineering. In practical applications, such

Wind Turbine Maintenance Log Labelling Framework: LLM-Driven Data Correction and Enrichment via Semantic Extraction of Reliability Intelligence

arXiv:2605.31281v1 Announce Type: new Abstract: As wind turbine fleets age, data-driven reliability engineering is essential to optimise their operation and maintenance for service life extension and

researcharxiv-cs-cl

Aggregate Models, Not Explanations: Improving Feature Importance Estimation

arXiv:2602.11760v2 Announce Type: replace-cross Abstract: Feature-importance methods show promise in transforming machine learning models from predictive engines into tools for scientific discovery. H

Agents

CompilerDream: Learning a Compiler World Model for General Code Optimization

arXiv:2404.16077v4 Announce Type: replace-cross Abstract: Effective code optimization in compilers is crucial for computer and software engineering. The success of these optimizations primarily depend

agentsarxiv-cs-lg

Local Ai

Learning to Solve PDEs on Neural Shape Representations

arXiv:2512.21311v2 Announce Type: replace Abstract: Solving partial differential equations (PDEs) on shapes underpins many shape analysis and engineering tasks; yet, prevailing PDE solvers operate on

local-aiarxiv-cs-lg

Projectional Decoding: Towards Semantic-Aware LLM Generation

arXiv:2605.30054v1 Announce Type: cross Abstract: Large language models (LLMs) are increasingly used to generate software artifacts across many software engineering (SE) tasks, yet ensuring the semant

Local Ai

UniNote: A Unified Embedding Model for Multimodal Representation and Ranking

arXiv:2605.29287v1 Announce Type: cross Abstract: Item-to-Item (I2I) retrieval is a fundamental part of modern content platforms, supporting critical industrial workflows from recommendation engines t

local-aiarxiv-cs-cv

A Policy-Driven Runtime Layer for Agentic LLM Serving

arXiv:2605.27744v1 Announce Type: new Abstract: Multi-agent LLM systems have become the dominant production workload, but the serving stack was not built for them. The agent framework above knows agen

Conditionally Site-Independent Neural Evolution of Antibody Sequences

arXiv:2602.18982v4 Announce Type: replace Abstract: Common deep learning approaches for antibody engineering focus on modeling the marginal distribution of sequences. By treating sequences as independ

DAISI: Data Assimilation with Inverse Sampling using Stochastic Interpolants

arXiv:2512.00252v4 Announce Type: replace-cross Abstract: Data assimilation (DA) is a cornerstone of scientific and engineering applications, combining model forecasts with sparse and noisy observatio

Eliot: Interactively nderline{E}xploring Fast-Changing Scientific nderline{Li}terature Trends with nderline{O}nline Danderline{t}a and Learning

arXiv:2605.27610v1 Announce Type: cross Abstract: The rapid growth of scientific publishing has made it increasingly difficult to track how fast-moving areas evolve. Search engines and LLM-based assis

Improving Requirements Classification with SMOTE-Tomek Preprocessing

arXiv:2501.06491v3 Announce Type: replace-cross Abstract: This study emphasizes the domain of requirements engineering by applying the SMOTE-Tomek preprocessing technique, combined with stratified K-f

MUSE: Benchmarking Manufacturable, Functional, and Assemblable Text-to-CAD Generation

arXiv:2605.28579v1 Announce Type: new Abstract: Large language models (LLMs) have recently advanced text-driven 3D generation, yet Text-to-CAD remains far from supporting industrial product design. Ex

Neural Quantum Spectral Operator Learning for Solving Partial Differential Equations

arXiv:2605.27408v1 Announce Type: cross Abstract: Partial differential equations (PDEs) are central to modeling physical and engineering systems, but repeatedly solving parametric PDEs remains computa

Path Channels and Plan Extension Kernels: a Mechanistic Description of Planning in a Sokoban RNN

arXiv:2506.10138v3 Announce Type: replace-cross Abstract: We partially reverse-engineer a convolutional recurrent neural network (RNN) trained with model-free reinforcement learning to play the box-pu

Applications

Temporal Hyperbolic Graph Representation Learning for Scale-Free Internet Routing and Delay Prediction

arXiv:2605.28155v1 Announce Type: new Abstract: Predicting Internet round-trip time (RTT) is critical for routing optimization, quality-of-service (QoS) provisioning, and traffic engineering, yet rema

applicationsarxiv-cs-lg

Applications

Closing the Loop in Teleoperation: Episode-Level Data Quality Assessment and Feedback for High-Quality Demonstration Collection

arXiv:2605.26349v1 Announce Type: new Abstract: Industrial automation is at a pivotal moment, as Physical AI is driving a transition from rigid, hand-engineered automation systems toward more flexible

applicationsarxiv-cs-ro

Deep Learning-based Algebraic Reynolds Stress Closures for RANS Simulations of Turbulent Flows

arXiv:2605.26358v1 Announce Type: cross Abstract: Turbulence is ubiquitous in engineering and science, yet direct simulation is prohibitively expensive. The Reynolds-averaged Navier-Stokes (RANS) equa

E3: Issue-Level Backtesting for Automated Research Critique

arXiv:2605.27072v1 Announce Type: cross Abstract: We present E3, an automated review assistant that augments reviewers and engineering teams by identifying decision-relevant technical concerns in rese

Large Language Model-Powered Query-Driven Event Timeline Summarization in Industrial Search

arXiv:2605.27066v1 Announce Type: new Abstract: Understanding how events evolve over time is essential for search engines handling queries about trending news. We present QDET (Query-Driven Event Time

RepoMirage: Probing Repository Context Reasoning in Code Agents with Perturbations

arXiv:2605.26177v1 Announce Type: cross Abstract: Code agents are currently having skillful performance on repository-level software engineering benchmarks, but it remains unclear whether success on e

A Tertiary Review of Large Language Model-Based Code Generating Tasks: Trends, Challenges, and Future Directions

arXiv:2605.25536v1 Announce Type: cross Abstract: Context. Large language models (LLMs) are increasingly applied to code-generating tasks (CGTs) in software engineering. While reported results are pro

ATWL: A Formal Language for Representing, Comparing, and Reusing Visual Analytics Workflows

arXiv:2605.25489v1 Announce Type: new Abstract: Visual analytics (VA) workflows are inherently complex, involving data transformation, feature engineering, visual representation, and human interpretat

CODESKILL: Learning Self-Evolving Skills for Coding Agents

arXiv:2605.25430v1 Announce Type: new Abstract: Coding agents produce rich trajectories while solving software-engineering tasks. To enable agent self-evolution, these trajectories can be distilled in

Creative Quality Alignment: Expert Tacit Knowledge Transfer via Chain-of-Thought Fine-Tuning

arXiv:2605.25977v1 Announce Type: cross Abstract: This paper provides an empirical implementation of the creative quality metric proposed in Calibrated Surprise (Zou & Xu, 2026a). The question this pa

CUA-Gym: Scaling Verifiable Training Environments and Tasks for Computer-Use Agents

arXiv:2605.25624v1 Announce Type: new Abstract: Reinforcement learning with verifiable rewards (RLVR) has driven breakthroughs in domains such as math, tool-use, and software engineering, yet its exte

GEESE: Genotype-aware End-to-End Spatio-temporal Embedding for Behavioral Phenotyping

arXiv:2605.24370v1 Announce Type: new Abstract: Behavioral phenotyping of genetic animal models currently requires labor-intensive manual feature engineering that limits reproducibility and scalabilit

Tutorials

Learning, locomotion, and navigation of soft synthetic snakes in three-dimensional, heterogeneous environments

arXiv:2605.24985v1 Announce Type: cross Abstract: Limbless terrestrial animals exhibit exceptional locomotor versatility and control, currently unmatched by engineered counterparts. Here, we introduce

tutorialsarxiv-cs-lg

Neural Router: Semantic Content Matching for Agentic AI

arXiv:2605.25701v1 Announce Type: cross Abstract: Large language models (LLMs) can serve as the semantic-matching engine of a content-based publish/subscribe broker for agentic AI across the edge-clou

PhySense: Sensor Placement Optimization for Accurate Physics Sensing

arXiv:2505.18190v5 Announce Type: replace-cross Abstract: Physics sensing plays a central role in many scientific and engineering domains, which inherently involves two coupled tasks: reconstructing d

QUEST: Training Frontier Deep Research Agents with Fully Synthetic Tasks

arXiv:2605.24218v1 Announce Type: new Abstract: Deep research agents extend the role of search engines from retrieving keyword-matched pages to synthesizing knowledge, fundamentally changing how human

Understanding Conversational Patterns in Multi-agent Programming: A Case Study on Fibonacci Game Development

arXiv:2605.24138v1 Announce Type: cross Abstract: Large Language Models (LLMs) are increasingly applied to software engineering (SE), yet their potential for autonomous, role-oriented collaboration re

Active Sensing Subserves Task-Level Control

arXiv:2605.22988v1 Announce Type: cross Abstract: Active sensing is traditionally defined as the expenditure of energy, typically in the form of movement, for obtaining information. Here, we propose t

25 May 2026

AutoBaxBuilder: Bootstrapping Code Security Benchmarking

model-releasesarxiv-cs-lg

arXiv:2512.21132v2 Announce Type: replace-cross Abstract: As large language models (LLMs) see wide adoption in software engineering, the reliable assessment of the correctness and security of LLM-gene

Harnesses for Inference-Time Alignment over Execution Trajectories

arXiv:2605.21516v1 Announce Type: new Abstract: Harness engineering has emerged as an important inference-time technique for large language model (LLM) agents, aiming to improve long-term performance

safetyarxiv-cs-lg

Neural Acceleration for Graph Partitioning

arXiv:2605.21519v1 Announce Type: cross Abstract: Graph Partitioning is a critical problem in numerous scientific and engineering domains including social network analysis, VLSI design, and many more.

VeriScale: Adversarial Test-Suite Scaling for Verifiable Code Generation

model-releasesarxiv-cs-lg

arXiv:2605.22368v1 Announce Type: new Abstract: As large language models (LLMs) are increasingly deployed for software engineering, constructing high-quality benchmarks is crucial for evaluating not j

SENIOR: Efficient Query Selection and Preference-Guided Exploration in Preference-based Reinforcement Learning

arXiv:2506.14648v2 Announce Type: replace Abstract: Preference-based Reinforcement Learning (PbRL) methods provide a solution to avoid reward engineering by learning reward models based on human prefe

safetyarxiv-cs-ro

22 May 2026

TransitLM: A Large-Scale Dataset and Benchmark for Map-Free Transit Route Generation

arXiv:2605.22355v1 Announce Type: new Abstract: Public transit route planning traditionally depends on structured map infrastructure and complex routing engines, and no existing dataset supports train

22 May 2026

AirfoilGen: A valid-by-construction and performance-aware latent diffusion model for airfoil generation

arXiv:2605.20303v1 Announce Type: new Abstract: Airfoil shape design is a fundamental task in aerospace engineering, with a direct impact on flight stability and fuel consumption. Deep learning has re

CAdam: Context-Adaptive Moment Estimation for 3D Gaussian Densification in Generative Distillation

arXiv:2605.20872v1 Announce Type: new Abstract: Adaptive densification is the engine of 3D Gaussian Splatting (3DGS). However, when transposed to the optimization-based Generative Distillation paradig

Tutorials

Efficient numeracy in language models through single-token number embeddings

arXiv:2510.06824v2 Announce Type: replace Abstract: To drive progress in science and engineering, large language models (LLMs) must be able to process large amounts of numerical data and solve long ca

tutorialsarxiv-cs-lg

Leveraging LLMs for Grammar Adaptation: A Study on Metamodel-Grammar Co-Evolution

arXiv:2605.21465v1 Announce Type: new Abstract: In model-driven engineering, metamodel evolution leads to the need to adapt corresponding grammars to maintain consistency, which typically requires ted