Search: “arxiv-cs-lg”

VeriScale: Adversarial Test-Suite Scaling for Verifiable Code Generation

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

Safety

Visibility nowcasting in South Korea: a machine learning approach to class imbalance and distribution shift

DGX agent

arXiv:2605.21507v1 Announce Type: cross Abstract: Atmospheric visibility is a critical variable for transportation safety and air quality management, however, accurate prediction remains challenging d

safetyarxiv-cs-lg

23 May 2026

VRPRM: Process Reward Modeling via Visual Reasoning

arXiv:2508.03556v3 Announce Type: replace Abstract: Process Reward Model (PRM) is widely used in the post-training of Large Language Model (LLM) because it can perform fine-grained evaluation of the r

Hardware

WarmServe: Enabling One-for-Many GPU Prewarming for Multi-LLM Serving

arXiv:2512.09472v2 Announce Type: replace-cross Abstract: Deploying multiple models within shared GPU clusters is a key strategy to improve resource efficiency in large language model (LLM) serving. E

hardwarearxiv-cs-lg

What are the Right Symmetries for Formal Theorem Proving?

arXiv:2605.22257v1 Announce Type: new Abstract: Formal theorem provers based on large language models (LLMs) are highly sensitive to superficial variations in problem representation: semantically equi

When Are Teacher Tokens Reliable? Position-Weighted On-Policy Self-Distillation for Reasoning

arXiv:2605.21606v1 Announce Type: new Abstract: On-policy self-distillation (OPSD) trains a student on its own rollouts using a privileged teacher, but its standard objective weights all generated tok

When Stronger Triggers Backfire: A High-Dimensional Theory of Backdoor Attacks

arXiv:2605.22481v1 Announce Type: new Abstract: Backdoor poisoning attacks behave counter-intuitively in high dimensions: stronger training triggers can help the defender. We study regularised general

When to Switch, Not Just What: Transition Quality Prediction in Clash Royale

arXiv:2605.21868v1 Announce Type: new Abstract: In competitive games, players frequently switch strategies after losing streaks, yet our analysis of 926,334 match records from 34,619 Clash Royale play

Why SGD is not Brownian Motion: A New Perspective on Stochastic Dynamics

arXiv:2605.22644v1 Announce Type: new Abstract: Stochastic Gradient Descent (SGD) is commonly modeled as a Langevin process, assuming that minibatch noise acts as Brownian motion. However, this approx

Winner-Take-All bottlenecks enforce disentangled symbolic representations in multi-task learning

arXiv:2605.22472v1 Announce Type: new Abstract: Winner-take-all (WTA) networks constitute a central circuit motif in cortical networks of the brain. In addition, WTA-like activations are abundant in m

Zero-shot adaptation to order book dynamics

arXiv:2605.21707v1 Announce Type: cross Abstract: We describe an adaptive market-making architecture that preserves the analytical structure of the Avellaneda--Stoikov framework while introducing a su

A 10,000-Year Global Stochastic Tropical Cyclone Catalog with Wind-Dependent Track Transitions (WHITS)

arXiv:2605.20494v1 Announce Type: new Abstract: Reliable assessment of tropical cyclone (TC) risk is limited by the brevity and spatial sparsity of the historical record, particularly for the rare, hi

A Deployment Audit of Release-Side Risk in Conformal Triage under Prevalence Shift

arXiv:2605.20956v1 Announce Type: new Abstract: Conformal triage converts predictive scores into deployment actions that either release a case, flag it for urgent attention, or defer it to human revie

A Dialogue between Causal and Traditional Representation Learning: Toward Mutual Benefits in a Unified Formulation

arXiv:2605.21058v1 Announce Type: new Abstract: Causal representation learning (CRL) and traditional representation learning have largely developed along different trajectories. Traditional representa

A Free Lunch in LLM Compression: Revisiting Retraining after Pruning

arXiv:2510.14444v3 Announce Type: replace Abstract: Post-training pruning can substantially reduce LLM inference costs, but it often degrades quality unless the remaining weights are adapted. Since gl

Applications

A Machine Learning Framework for Weighted Least Squares GNSS Positioning based on Activation Functions

arXiv:2605.21461v1 Announce Type: new Abstract: Global Navigation Satellite Systems (GNSS) are widely used to provide position, velocity, and timing (PVT) information for various applications, includi

applicationsarxiv-cs-lg

A Mechanistic Study of Tabular Foundation Models

arXiv:2605.21288v1 Announce Type: new Abstract: Tabular foundation models with different architectures converge in accuracy across a range of classification and regression tasks. This raises questions

Applications

A New Framework to Analyse the Distributional Robustness of Deep Neural Networks

arXiv:2605.21313v1 Announce Type: new Abstract: Deep neural networks have achieved impressive performance on a variety of tasks, but their brittleness to distributional shifts remains a significant ba

applicationsarxiv-cs-lg

A Rigorous, Tractable Measure of Model Complexity

arXiv:2605.21167v1 Announce Type: cross Abstract: An accurate assessment of a model's complexity is crucial for topics such as interpretation, generalization, and model selection. However, most existi

A Sharper Picture of Generalization in Transformers

arXiv:2605.20988v1 Announce Type: new Abstract: We study transformers' generalization behavior on boolean domains from the perspective of the Fourier Spectra of their target functions. In contrast to

A Typed Tensor Language for Federated Learning

arXiv:2605.21103v1 Announce Type: new Abstract: Federated learning and analytics are often described as collections of separate protocols, even when they share the same mathematical form: client-local

A Unified Framework for Uncertainty-Aware Explainable Artificial Intelligence: A Case Study in Power Quality Disturbance Classification

arXiv:2605.21114v1 Announce Type: new Abstract: Post-hoc explainable AI (XAI) methods typically produce deterministic attribution maps, whereas Bayesian neural networks (BNNs) induce a distribution ov

Ada2MS: A Hybrid Optimization Algorithm Based on Exponential Mixing of Elementwise and Global Second-Moment Estimates

arXiv:2605.20533v1 Announce Type: new Abstract: Optimization algorithms are core methods by which machine learning models iteratively minimize loss functions, update parameters, learn from data, and i

Tutorials

Adaptive Probe-based Steering for Robust LLM Jailbreaking

arXiv:2605.20286v1 Announce Type: cross Abstract: Recent work has demonstrated the potential of contrastive steering for jailbreaking Large Language Models (LLMs). However, existing methods rely on li

tutorialsarxiv-cs-lg

Adaptive Signal Resuscitation: Channel-wise Post-Pruning Repair for Sparse Vision Networks

arXiv:2605.21426v1 Announce Type: new Abstract: One-shot magnitude pruning can cause severe accuracy collapse in the high-sparsity regime, even when the pruning mask preserves the largest weights. We

Advanced Scientific Methodology Plays Rossini

arXiv:2605.20220v1 Announce Type: cross Abstract: A musical score provides the essential instructions for its performance while containing indications - at times implicit - regarding the composer's in

Advantage Collapse in Group Relative Policy Optimization: Diagnosis and Mitigation

arXiv:2605.21125v1 Announce Type: new Abstract: Group Relative Policy Optimization (GRPO), a prominent algorithm within the Reinforcement Learning from Verifiable Rewards (RLVR) framework, has achieve

Adversarial Robustness in One-Stage Learning-to-Defer

arXiv:2510.10988v2 Announce Type: replace-cross Abstract: Learning-to-Defer (L2D) enables hybrid decision-making by routing inputs either to a predictor or to external experts. While promising, L2D is

Agents

Agent JIT Compilation for Latency-Optimizing Web Agent Planning and Scheduling

arXiv:2605.21470v1 Announce Type: new Abstract: Computer-use agents (CUA) automate tasks specified with natural language such as 'order the cheapest item from Taco Bell' by generating sequences of cal

agentsarxiv-cs-lg

Agentic Physical AI toward a Domain-Specific Foundation Model for Nuclear Reactor Control

arXiv:2512.23292v3 Announce Type: replace-cross Abstract: The prevailing paradigm in AI for physical systems (scaling general-purpose foundation models toward universal multimodal reasoning) confronts

AGPO: Adaptive Group Policy Optimization with Dual Statistical Feedback

arXiv:2605.20722v1 Announce Type: new Abstract: Reinforcement learning improves LLM reasoning, but PPO/GRPO typically use fixed clipping and decoding temperature, which makes training brittle and tuni

AI-based Prediction of Independent Construction Safety Outcomes from Universal Attributes

arXiv:1908.05972v3 Announce Type: replace Abstract: This paper significantly improves on, and finishes to validate, an approach proposed in previous research in which safety outcomes were predicted fr

AIMBio-Mat: An AI-Native FAIR Platform for Closed-Loop Materials Discovery and Biomedical Translation

arXiv:2605.21083v1 Announce Type: cross Abstract: Materials discovery and biomedical translation increasingly require models that can reason across composition, processing, structure, biological respo

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

AMAR: Lightweight Attention-Based Multi-User Activity Recognition from Wi-Fi CSI

arXiv:2605.20649v1 Announce Type: cross Abstract: Wi-Fi-based human activity recognition (HAR) has emerged as a promising approach for contactless sensing, leveraging channel state information (CSI) c

An exponential mechanism based on quadratic approximations for fine-tuning machine learning models with privacy guarantees

arXiv:2605.20521v1 Announce Type: new Abstract: Fine-tuning adapts a pretrained machine learning model to a small, sensitive dataset, but this process risks memorizing individual new data points, maki

APEX: Autonomous Policy Exploration for Self-Evolving LLM Agents

arXiv:2605.21240v1 Announce Type: new Abstract: LLM agents have shown strong performance across a wide range of complex tasks, including interactive environments that require long-horizon decision mak

Approximation Theory for Neural Networks: Old and New

arXiv:2605.21451v1 Announce Type: new Abstract: Universal approximation theorems provide a mathematical explanation for the expressive power of neural networks. They assert that, under mild conditions

Augmented Analytics and Decision Quality: The Role of Trust among Non-Technical BI Users

arXiv:2605.20198v1 Announce Type: cross Abstract: Augmented analytics has transformed how business intelligence (BI) systems support managerial decision-making. This is especially true for users witho

Automated Byzantine-Resilient Clustered Decentralized Federated Learning for Battery Intelligence in Connected EVs

arXiv:2605.21115v1 Announce Type: cross Abstract: Federated learning (FL) has emerged as a promising paradigm for managing electric vehicle (EV) battery data in intelligent transportation systems (ITS

Automated Kernel Discovery Towards Understanding High-dimensional Bayesian Optimization

arXiv:2605.20249v1 Announce Type: new Abstract: Gaussian Process (GP) kernels are central to Bayesian optimization (BO), yet designing effective kernels for high-dimensional problems still relies on e

Axiomatizing Neural Networks via Pursuit of Subspaces

arXiv:2605.20534v1 Announce Type: new Abstract: While deep neural networks have achieved remarkable success across a wide range of domains, their underlying mechanisms remain poorly understood, and th

BALLAST: Bayesian Active Learning with Look-ahead Amendment for Sea-drifter Trajectories under Spatio-Temporal Vector Fields

arXiv:2509.26005v3 Announce Type: replace-cross Abstract: We introduce a formal active learning methodology for guiding the placement of Lagrangian observers to infer time-dependent vector fields -- a

Batched Single-Index Global Multi-Armed Bandits with Covariates

arXiv:2503.00565v3 Announce Type: replace-cross Abstract: The multi-armed bandits (MAB) framework is a widely used approach for sequential decision-making, where a decision-maker selects an arm in eac

Tutorials

Bayesian Optimization by Kernel Regression and Density-based Exploration

arXiv:2502.06178v5 Announce Type: replace-cross Abstract: Bayesian optimization is highly effective for optimizing expensive-to-evaluate black-box functions, but it faces significant computational cha

tutorialsarxiv-cs-lg

Behavior-Consistent Deep Reinforcement Learning

arXiv:2605.21214v1 Announce Type: new Abstract: Reinforcement learning (RL) often exhibits high variance across training runs, leading to unreliable performance and posing a major challenge to deploym

Beyond Numerical Features: CNN-Driven Algorithm Selection via Contour Plots for Continuous Black-Box Optimization

arXiv:2605.20797v1 Announce Type: new Abstract: The present paper introduces a new representation-driven approach to per-instance algorithm selection, applied to black-box optimization, for automatica

Beyond the Bellman Recursion: A Pontryagin-Guided Framework for Non-Exponential Discounting

arXiv:2605.20996v1 Announce Type: new Abstract: Most value-based and actor--critic reinforcement learning methods rely on Bellman-style recursions, yet these recursions collapse under non-exponential