Search: “engineering”

arXiv:2610.08405v1 Announce Type: cross Abstract: Large Language Models have emerged as promising tools for software vulnerability analysis, but their effectiveness depends heavily on prompt design. E

arXiv:2610.07257v1 Announce Type: new Abstract: Developers increasingly run a fleet of coding agents side by side on one workstation. The tools they reach for, terminal multiplexers like tmux and a ne

arXiv:2610.07800v1 Announce Type: cross Abstract: Artificial Intelligence (AI) tools are widely used to support decision making in tasks and domains where no immediate performance feedback is availabl

arXiv:2610.07127v1 Announce Type: cross Abstract: Recent advances in multimodal foundation models yield strong performance on static perception and reasoning benchmarks, yet such evaluations largely o

arXiv:2610.07409v1 Announce Type: new Abstract: We present RACER, a hierarchical control framework for wheel-based quadruped racing that combines an MPPI planner with a learned residual dynamics model

arXiv:2610.07346v1 Announce Type: new Abstract: Repeated evaluation and differentiation of Signal Temporal Logic (STL) robustness can become a computational bottleneck in robot planning and control. S

arXiv:2610.07935v1 Announce Type: new Abstract: LLM agents are increasingly capable of executing complex tasks and of recursively improving themselves on easy-to-verify objectives such as software eng

arXiv:2602.16863v3 Announce Type: replace-cross Abstract: The ability to manipulate tools significantly expands the set of tasks a robot can perform. Yet, tool manipulation represents a challenging cl

arXiv:2610.07091v1 Announce Type: new Abstract: The evolution of machine learning has progressively changed where intelligence resides in an AI system. In conventional machine learning the task, data

arXiv:2610.07625v1 Announce Type: cross Abstract: Automated research systems increasingly run LLM agents over long horizons, but more inference does not by itself produce more progress: agents replay

arXiv:2609.33678v2 Announce Type: replace Abstract: We introduce SWE-Game, a benchmark of 247 tasks grounded in 41 executable reference Godot games spanning 13 gameplay categories in 2D and 3D. Five t

arXiv:2610.07640v1 Announce Type: new Abstract: State-of-the-art reinforcement learning agents are capable of outperforming human experts at games like chess, Go and StarCraft II. These agents do not

arXiv:2610.07097v1 Announce Type: new Abstract: Experimental studies of generative AI in education mostly report average effects, yet field evidence shows that AI can narrow attainment gaps or widen t

arXiv:2610.07987v1 Announce Type: cross Abstract: Multimodal large language models have become the dominant paradigm for visual understanding, but incur substantial costs by encoding inputs into dense

arXiv:2605.05780v2 Announce Type: replace Abstract: In the mid-twentieth century, mathematician and polymath John von Neumann created a computational system on an array of cells as a simple model of t

arXiv:2610.08502v1 Announce Type: cross Abstract: Proactive power management systems reduce processor dynamic power through runtime power prediction and power-aware scheduling. Accurate, stable and lo

arXiv:2610.05774v1 Announce Type: new Abstract: Block drafters such as DSpark propose ranked candidates for several positions in one forward pass, and a tree verifier checks them in one pass of the ta

arXiv:2610.05098v1 Announce Type: new Abstract: Many latent neural operators represent input and output fields in a stationary latent chart. In particular, common latent routing mechanisms use fixed o

arXiv:2610.05334v1 Announce Type: cross Abstract: Frameworks that use large language models for scientific discovery typically rely on a fixed, human-designed algorithm that decides what the model see

arXiv:2610.05782v1 Announce Type: cross Abstract: Agentic AI is emerging as a promising paradigm for automating complex cybersecurity decisions, yet its use in enforcing zero trust introduces signific

arXiv:2610.05367v1 Announce Type: cross Abstract: Proof auto-formalization translates natural-language (NL) theorems and proofs into a formal language (FL) such as Lean, enabling mechanical verificati

arXiv:2610.04198v1 Announce Type: cross Abstract: Diffusion language models (DLMs) enable fast generation by predicting multiple tokens in parallel, but their practical adoption remains limited by a p

arXiv:2610.05676v1 Announce Type: cross Abstract: Groups of individuals can solve collective problems more accurately than any single member, by aggregating their opinions. Recent theoretical work has

arXiv:2610.06339v1 Announce Type: new Abstract: Reliable and practical audio-visual DeepFake detection requires benchmarks that reflect diverse linguistic contexts and modern data synthesis pipelines

arXiv:2603.11048v2 Announce Type: replace Abstract: We propose a fully automated AI system that produces short comedic videos similar to sketch shows such as Saturday Night Live. Starting from charact

arXiv:2511.19453v2 Announce Type: replace-cross Abstract: Autonomous vehicles continuously generate large volumes of heterogeneous sensor and state data streams. While this data supports real-time aut

arXiv:2610.06366v1 Announce Type: cross Abstract: Large Language Models (LLMs) are increasingly deployed for automated software vulnerability analysis. Binary classification alone is insufficient; pra

arXiv:2610.05157v1 Announce Type: new Abstract: Gastric Adenocarcinoma is a leading cause of cancer mortality. Although 'Inflamed/Non-Inflamed' subtypes have been proposed to predict immunotherapy res

arXiv:2610.04211v1 Announce Type: cross Abstract: Skeletal motion is stored as every joint's transform at every frame, yet most of it is implied by the body rather than by what the motion is about. Co

arXiv:2610.04085v1 Announce Type: cross Abstract: Balanced discrete optimal transport between n sources and n targets of unit mass is exactly the minimum-cost assignment problem-a bipartite perfect ma

arXiv:2610.05812v1 Announce Type: new Abstract: Process control of advanced semiconductor nodes is not only pushing the limits of metrology equipment requirements in terms of resolution and throughput

arXiv:2610.04297v1 Announce Type: cross Abstract: Latent safety filters certify safety on a learned low-dimensional representation of the state, enabling constraints that resist analytic description.

arXiv:2610.04814v1 Announce Type: new Abstract: Segment-based explanation methods such as LIME return a single explanation for each prediction, computed from one fixed image segmentation. This hides t

arXiv:2610.04572v1 Announce Type: new Abstract: Precise constraint satisfaction is a prerequisite to deploying learned models in many areas, motivating methods that repair raw neural predictions with

arXiv:2603.09693v2 Announce Type: replace Abstract: Predicting interfacial degradation and microstructural evolution through phase-field modelling is computationally intensive, particularly for parame

arXiv:2610.05935v1 Announce Type: new Abstract: Language models are moving beyond generating answers to pursuing long-horizon goals in interactive environments. Post-training these agents requires lon

arXiv:2610.04432v1 Announce Type: new Abstract: Building interactive simulators from real-world observations is a promising way to scale embodied data, but current pipelines still rely heavily on manu

arXiv:2610.03797v1 Announce Type: new Abstract: World Action Models (WAMs) leverage pretrained video foundation models for robot manipulation, but their large backbones and video-action co-prediction

arXiv:2610.05533v1 Announce Type: new Abstract: Harness search keeps a change to the prompts, reasoning switches, token budgets or parsers around a frozen model if the change raises a score. Such a ga

arXiv:2610.02451v1 Announce Type: new Abstract: Effective wildfire monitoring requires relating visual evidence to physical fire dynamics, yet real videos with synchronized physical annotations are sc

arXiv:2610.02763v1 Announce Type: new Abstract: Tropical forest monitoring is essential for global climate stability and biodiversity preservation. To address the urgent need for rapid, reliable detec

arXiv:2610.02728v1 Announce Type: new Abstract: Closed-loop learned locomotion is established on commercial quadrupeds but remains uncommon at the sub-kilogram scale. Continuous-rotation legs give MiN

arXiv:2610.02369v1 Announce Type: cross Abstract: Human-computer interaction (HCI) is in the middle of a transition: large language models can now generate functional user interfaces (UIs) on demand f

arXiv:2610.03395v1 Announce Type: new Abstract: Long-horizon tasks with sparse rewards pose an exploration bottleneck for goal-conditioned reinforcement learning: a policy started from the initial sta

arXiv:2607.00711v2 Announce Type: cross Abstract: Large Language Models have emerged as programming assistants. However, the efficacy of code generation is constrained by the quality of input requirem

arXiv:2610.02972v1 Announce Type: new Abstract: Large language models (LLMs) can support rubric-based screening of CVs, but applying a high-capability model to every candidate and criterion is costly.