Artificial Intelligence · Cross-listed from cs.CR
When the Agent Becomes the Kernel: A Systematization of Security on the Path to AI-Native Operating Systems
Li Zhang, Yang Sun and Jie Shi
Large
language model
agents are now privileged principals that take consequential actions: editing code repositories, operating inboxes, completing purchases. Their authority is kernel-grade, but it comes without what classical systems security requires: a trusted mediator interposed on every access. Operating-system vendors are now rebuilding the platform around this de-facto
agent kernel, inheriting complete mediation as a design problem. We systematize the security of such systems around a single distinction: a crossing mediated over provenance admits a deterministic check, while one over content semantics does not. A trust-boundary taxonomy locates where mediation must occur and isolates the central mediation gap at two kinds of semantic judgment: distinguishing data from instruction in untrusted input, and an authorized action from an unauthorized one. We argue that this gap leaves an irreducible residual of undetected attacks wherever inputs and actions are not restricted in advance to an enumerated set. The same distinction makes attack-success statistics actionable, placing each number on a spectrum from deployment debt (a sound deterministic mediator left unused) to a structural gap (no such mediator known). We systematize defenses across runtime monitoring, architectural separation, and authorization, and show that current evaluations tend to overstate deployed security through evaluation-validity failures. Finally, we carry that analysis forward beyond the de-facto kernel, to an architecture in which the model itself becomes the arbitration core, and derive the design constraints, open challenges, and research agenda for a security-first AI-native OS.
Read the full abstract ▾
Artificial Intelligence
PhysAI-Bench: A Benchmark for LLM-Based Agentic Decision-Making in Autonomous UAV-Centric Physical AI
Mohamed Amine Ferrag, Merouane Debbah, Abderrahmane Lakas et al. (+2 more)
Recent advances in Physical AI have accelerated the use of foundation models in autonomous systems such as unmanned aerial vehicles (
UAVs), which must perceive, reason, plan, and act in dynamic environments. Existing
benchmarks assess physical perception, intuitive physics,
embodied navigation, and collaborative
reasoning, but rarely evaluate the agentic decision-making required for reliable autonomy. We introduce PhysAI-Bench, a
benchmark for evaluating this capability. It contains 10,178 standardized decision instances automatically extracted from conversational traces of autonomous
UAV missions. Each instance preserves mission context, temporal dependencies, physical constraints, Model Context Protocol (MCP) tool calls,
Agent-to-
Agent (A2A) interactions, sensor observations, and AI-native 6G network conditions, including latency, packet loss, throughput, edge load, and network slicing. We expose only information preceding each decision, preventing future-event leakage and approximating online decision-making. We evaluate 29 foundation models using a two-stage protocol. We select model-specific configurations from 12 combinations of zero-, three-, and five-shot prompting and four temperatures, tested in three runs on a 35-instance, human-verified development set. We then freeze each selected configuration and evaluate it in three runs on a fixed, episode-disjoint set of 500 instances. GPT-5.3 achieves the highest accuracy (52.00%), followed by GPT-5.2 (49.40%) and Grok~4.5 (49.07%). Few-shot prompting generally improves performance, while temperature has limited influence. The results demonstrate that reliable agentic decision-making in Physical AI remains an open challenge. The
dataset is available at https://github.com/maferrag/physai-bench
Read the full abstract ▾
All authors Mohamed Amine Ferrag, Merouane Debbah, Abderrahmane Lakas, Manu Perumkunnil, Norbert Tihanyi
Artificial Intelligence · Cross-listed from cs.LG
Tail-Weight Control and Localized Generalization in Nearly Low-Rank Adversarial Classification
Kunyu Wang, Dehan Wang and Wenjun Chen
Empirical ramp fitting can assign weight to pure-noise features even when the population optimum ignores them. We quantify this gap for norm-constrained
adversarial classification with Gaussian signal and noise. The variance cost relative to normalized signed mean separates into two factors: selecting observations inside the active margin window and the
curvature induced by the norm constraint. Changing the tail variance leaves the activewindow probability unchanged but changes the second factor. With positive attack budget and a signal-only predictor of risk below one half, we prove a uniform quadratic tail-deletion bound, including at zero tail variance. Sufficiently accurate approximate global empirical minimizers admit exact fixeddimensional asymptotic covariances in the low-risk regime with isotropic principal covariance. For positive tail variance at most principal variance, the product exceeds one; an additional moment condition transfers it to expected excess ramp and robust classification risks. A wide window analysis characterizes when this ordering reverses. Controlled experiments test the decomposition, and a separate contamination study examines its scope outside the Gaussian training model.
Read the full abstract ▾
Artificial Intelligence · Cross-listed from cs.LG
A multi-temporal dataset for mapping burned areas in the Brazilian Cerrado using time series of remote sensing imagery
Alisson Cleiton de Oliveira and Thales Sehn Körting
This paper introduces a multi-temporal tabular
dataset derived from satellite images to map burned areas in the Chapada dos Veadeiros National Park, in Goiás, Brazil, covering the years 2020 to 2022. The
dataset contains blue, green, red, and near-infrared bands, as well as the BAI, EVI, GEMI, NDVI, and NDWI spectral indices from the WFI sensor on the CBERS-4A, CBERS-4, and AMAZONIA-1 satellites, organized into a regular grid. We applied the Random Forest classifier to develop and validate models based on samples labeled as totally burned, partially burned, and non-burned. Two classification approaches were tested: one combining burned and non-burned areas into binary classes and another distinguishing between totally burned (TB), partially burned (PB), and non-burned (NB) classes. Seven validation approaches assessed different post-classification combinations, focusing on accuracy, precision, recall, and intersection over union (IoU) metrics. Results showed higher IoU when TB, PB, and NB were used as individual classes and TB was reclassified as burned area (BA) while PB and NB were grouped as non-burned. Comparing the annual results of this approach to the MCD64A1 product, the errors of omission for the BA class were 22% in 2020, 28% in 2021 and 59% in 2022, while the errors of commission were 46%, 43% and 46%, respectively. The study highlights the utility of the WFI sensor for burned area mapping without inter-satellite spectral calibration and suggests further exploration with other machine learning
algorithms to evaluate the
dataset potential and limitations.
Read the full abstract ▾
Artificial Intelligence · Cross-listed from cs.DS
Smoothed Analysis of Inconsistent A*
Zhiyang Chen and Hailong Yao
The A* search is a fundamental path-finding
algorithm in artificial intelligence. While admissible and consistent heuristics guarantee efficient performance by expanding each state at most once, modern search applications frequently employ powerful but inconsistent heuristics derived from machine learning, randomized evaluations, etc. A long-standing theoretical barrier to using these inconsistent heuristics is the risk of catastrophic node re-expansion, which yields a worst-case exponential time complexity of $\Omega(2^n)$. However, empirical observations contradict this pessimistic bound, demonstrating that inconsistent A* operates highly efficiently in practice. To bridge this significant gap between theory and practice, this paper presents the first smoothed analysis of the A*
algorithm using inconsistent heuristics. We model typical real-world noise by applying slight random perturbations to the edge weights of worst-case search graphs. Our main result proves that the expected smoothed time complexity of inconsistent A* is bounded by a
polynomial, specifically a total iteration number of $O(n^2 m \kappa)$, where $n$ is the number of nodes, $m$ is the number of edges, and $\kappa$ controls the scale of random perturbations. Furthermore, we also show that this result naturally extends to the functionally equivalent problem of Dijkstra's
algorithm on negative-weight graphs.
Read the full abstract ▾
Artificial Intelligence · Cross-listed from cs.SD
Do Language Models Need Music Supervision? Verifiable Rewards for Multi-Constraint Symbolic Music Generation
Haoyue Liu and Xiaoying Tang
Language models can now generate symbolic music from natural-
language instructions. However, existing models still struggle to satisfy multiple explicit musical constraints simultaneously. To systematically evaluate this capability, we introduce MusicConstraintBench, a
benchmark of 2180 items spanning eight families of programmatically verifiable constraints. On this
benchmark, Llama-3.1-70B satisfies 0.630 of single-constraint items but only 0.044 of four-constraint ones. To address this challenge, we propose MusicRLVR, which trains a
language model with group relative policy optimisation (GRPO) on verifier rewards alone, needing no human annotation, reward model or music-domain supervised fine-tuning. MusicRLVR incorporates (1) a hard validation gate that rejects malformed scores, (2) graded per-family credit that, unlike a binary reward, separates partially correct outputs, and (3) an all-satisfied bonus for meeting every constraint at once. Extensive experiments show that, after 300 GRPO updates, MusicRLVR raises Qwen3-4B-Instruct-2507 from 0.160 to 0.807 on mixed constraints, outperforming Llama-3.1-70B, and generalises to unseen property combinations, out-of-range parameters and more constraints than any training
prompt. The recipe transfers to Qwen3-8B, and neither trained model loses significant accuracy on general
benchmarks.
Read the full abstract ▾
Artificial Intelligence · Cross-listed from cs.RO
Spiking Neural Network Actor-Critic Proximal Policy Optimization Control for Autonomous UAV Navigation Through Constrained Openings in Civil Infrastructure and Buildings
Francis Noah Walugembe, Maciej Wielgosz, Tomaž Goričan et al. (+1 more)
Autonomous
navigation of unmanned aerial vehicles in constrained three-dimensional environments has been a challenge in the robotics domain. The application of autonomous unmanned aerial vehicles in civil infrastructure inspection involves the use of such vehicles in bridge inspection, tunnel inspection, and structural inspection. The use of deep reinforcement learning in the autonomous
navigation of unmanned aerial vehicles has been successful in constrained environments. However, the computational cost of the
algorithm limits the application of the
algorithm in the autonomous
navigation of unmanned aerial vehicles. This paper proposes the use of the spiking neural network-based Proximal Policy Optimization
algorithm in the autonomous
navigation of unmanned aerial vehicles in constrained sequential environments. The proposed
algorithm integrates the use of spike-based actor-critic reinforcement learning with the Proximal Policy Optimization
algorithm. The proposed
algorithm uses the
stochastic Gaussian policy in the autonomous
navigation of unmanned aerial vehicles. The proposed
algorithm was implemented in the autonomous
navigation of unmanned aerial vehicles in constrained 3D environments. The proposed
algorithm was successful in completing 1913 episodes out of more than 3000. The proposed
algorithm was successful in passing an average of 2.10 windows per episode. The proposed
algorithm was successful in achieving a success rate of 63.77%. The proposed
algorithm was successful in achieving success rates of more than 90% in the later stages of the
algorithm.
Read the full abstract ▾
All authors Francis Noah Walugembe, Maciej Wielgosz, Tomaž Goričan, Matej Mertik
Artificial Intelligence
Are Human-Aligned Models Models of Humans? A Turing-Test Gap in Preference Alignment
Suqin Yuan, Runqi Lin, Muyang Li et al. (+5 more)
Human-feedback
alignment has made
language models useful assistants and is commonly described as aligning them with humans. However, the responses people prefer from an AI need not be the responses they themselves would give. We distinguish
alignment with human preferences from
alignment with human behavior, and show that
alignment with human preferences can make model behavior less human-like even when both preferences and responses come entirely from humans. We call this the Turing-test gap. We show that preference
alignment preserves the human response distribution only under a restrictive condition, and find no consistent evidence that real human preferences satisfy it. Empirically, the loss of human-response likelihood increases with the strength of preference weighting, regardless of its direction, and the gap also appears under standard DPO. These results establish human-likeness as an explicit dimension of
alignment rather than something assumed to follow from preference
alignment.
Read the full abstract ▾
All authors Suqin Yuan, Runqi Lin, Muyang Li, Guanzhe Hong, Jindong Gu, Lei Feng, Chris Russell, Tongliang Liu
Artificial Intelligence · Cross-listed from cs.CV
PREM: Prefix-Steered Recurrent Memory for Long-Video Understanding
Siru Zhong, Qiongyan Wang, Xiaohui Lv et al. (+5 more)
Long-
video understanding must capture transient visual evidence under strict
token budgets, yet existing methods compress frames, append
memory tokens, or alter internal key-value (KV) caches. We introduce Prefix-Steered Recurrent
Memory (PREM), a
memory-
token-free framework for frozen
vision-
language models (VLMs). PREM separates
video ingestion from query answering: a recurrent writer distills visual streams into a compact 256 KiB multi-slot associative state, while a question-conditioned readout adds
memory-derived key/value (K/V) steering modulations to existing non-visual
prompt prefixes during prefill. This enables write-once, query-many inference without extra
prompt tokens or decoding recurrence. Across six long-
video benchmarks in offline and streaming end-of-stream settings, PREM consistently outperforms frozen baselines at every evaluated visual budget. Under a constrained budget of 16 frames, PREM improves macro-average accuracy by 3.06% on Qwen2.5-VL-3B, with gains of 11.0% on action antonym identification and 9.9% on localized needle
retrieval. These gains require tuning 0.24% of backbone parameters at 0.03 GiB of peak GPU
memory overhead.
Read the full abstract ▾
All authors Siru Zhong, Qiongyan Wang, Xiaohui Lv, Yuzheng Zhuang, Shuai Tao, Wulong Liu, Haohuan Fu, Yuxuan Liang
Artificial Intelligence · Cross-listed from cs.CV
PETR: Prompt Ensembling with Training-free Routing for Vision-Language Models
Weihan Cai, Hao Tan, Xinping Gao et al. (+2 more)
Prompt learning efficiently adapts
vision-
language models (VLMs) to downstream tasks, but gains on seen classes often come at the expense of generalization to unseen classes. To address this limitation, we propose
prompt ensembling with training-free routing (PETR), whose key innovation is a carefully designed dual-
prompt architecture: two complementary
prompts are learned from different data and objectives to emphasize seen class discrimination and unseen-class generalization, respectively. During training, both
prompts are fine-tuned using a shared frozen CLIP backbone, and statistical information is collected from the training set logits. At inference time, we determine the similarity of each test sample to seen data, and route the sample to the most appropriate
prompt branch. To the best of our knowledge, this is the first
prompt tuning framework that performs training-free adaptive routing based on statistical similarity. This design provides an interpretable routing signal and avoids common MoE-style routing pathologies, such as router training instability and load imbalance. Extensive experiments on 11
benchmark datasets demonstrate that our framework consistently outperforms previous methods on both seen and unseen classes, achieving new state-of-the-art results.
Read the full abstract ▾
All authors Weihan Cai, Hao Tan, Xinping Gao, Shibiao Xu, Jun Wan
Artificial Intelligence · Cross-listed from cs.CV
StyleAT: Defending Face Recognition Against Semantic Attacks
Ben Shapira, Roi Cohen, Shang-Tse Chen et al. (+1 more)
With face-recognition models now embedded in everyday authentication and surveillance, recent works have pinpointed a critical weakness: these models remain acutely vulnerable to
adversarial semantic edits. I.e., adversarially produced semantic alterations to the input, such as slight aging or pose changes, can induce misclassifications. Certain existing attacks are powerful, but they can be computationally costly, rendering them inadequate for developing defenses (e.g., through
adversarial training). To fill the gap, we introduce BoundStyle, a potent semantic attack operating in StyleGAN's rich latent space to maximize misclassification rates. Notably, BoundStyle achieves high attack success rates while being ${\sim}{\times}9.5$ faster than existing state-of-the-art attacks, making it suitable for
adversarial training. Building on BoundStyle, we develop StyleAT, an efficient
adversarial training scheme that incorporates low-budget attack variants yet defends against stronger and unseen semantic attacks. We evaluate on two
datasets unseen during training and seven models, and find that StyleAT boosts robust accuracy against state-of-the-art attacks and outperforms common defenses in various settings.
Read the full abstract ▾
All authors Ben Shapira, Roi Cohen, Shang-Tse Chen, Mahmood Sharif
Artificial Intelligence · Cross-listed from cs.LG
Cost-Aware Reinforcement Learning with Action Masking and Projection for Battery Energy Storage Dispatch under Suppressed-Spread Market Shifts
Kuanlin Chen, Chen-Wei Kuo and Cheng-En Ou
Battery energy storage system (BESS) dispatch must preserve operational feasibility while declining price spreads reduce the margin available to pay for cycling. We study a proximal policy optimization (PPO) controller whose pre-selection physical action mask and emergency projection are separated from a causal, forecast-informed economic advisory. All forecast-dependent methods receive the same causal 24-step forecast and grid-side settlement. Across five PPO seeds, advice-on net profit is 30.59 and 18.04 USD per 336-hour T1 and T2 window, versus 36.77 and 22.94 USD for proxy-cost MPC; PPO remains below this reference in both periods. Advice raises T2 profit from 16.45 to 18.04 USD while reducing throughput, but is immaterial in T1. On disjoint weekly blocks, PPO is stable under daily, weekly, and blended seasonal forecasts, weakens under persistence, and remains below proxy-cost MPC. Paired diagnostics localize changes to the observed 5-10 USD/MWh regime with mixed SoC-dependent effects. An M0-M6 ablation shows that mask removal sends thousands of infeasible requests to projection, while removing both physical layers exposes ramp violations. The evidence separates economic screening from feasibility enforcement without claiming formal safety, lifecycle-optimal aging, or RL dominance.
Read the full abstract ▾
Artificial Intelligence · Cross-listed from cs.SD
Listen Then Reason: Perception-Grounded Test-Time Reinforcement Learning for Large Audio-Language Models
Jiaheng Dong, Xiaofeng Yu, Jean Honorio et al. (+3 more)
Large audio-
language models (LALMs) are increasingly used for a broader range of audio
reasoning tasks. These models typically incorporate audio representations into a large
language model (LLM) backbone to enable
multimodal reasoning. Recent test-time reinforcement learning (TTRL) methods further improve LLM
reasoning capability by leveraging unlabelled test data after pre-training. However, the importance of the perceptual capability of LALMs remains underexplored, particularly how much acoustic evidence is integrated and relied upon during
reasoning, and how this contributes to final task performance. This gap limits the development of effective post-training methods like TTRL for audio
reasoning. In this work, we first analyse how audio information is integrated and utilised during
reasoning process. We quantify layer-wise perceptual reliance and show that stronger acoustic reliance is associated with higher accuracy and a larger performance gain attributable to the audio input. Building on this, we propose Perception-Grounded TTRL (PG-TTRL), which aligns label-free test-time optimisation with perceptually grounded
reasoning, encouraging the model to structure its
reasoning more strongly on the audio input. Experiments across LALMs and
benchmarks show that PG-TTRL consistently improves
reasoning performance over both the base models and standard TTRL, showing the value of perceptual-grounding optimisation for test-time audio
reasoning.
Read the full abstract ▾
All authors Jiaheng Dong, Xiaofeng Yu, Jean Honorio, Abhirup Ghosh, Hong Jia, Ting Dang
Artificial Intelligence · Cross-listed from cs.CL
On the Efficiency-Safety Dilemma in Large Reasoning Models
Yifei Yang, Zouying Cao, Xingrui Wang et al. (+4 more)
Large
reasoning models (LRMs) incur high inference costs, often mitigated by efficiency techniques like quantization and
pruning. However, the impact of these techniques on model
adversarial robustness remains largely unexplored. This study provides the first comprehensive analysis of the interplay between efficiency, jailbreak vulnerability, and
reasoning in LRMs. We find that while efficiency methods seemingly reduce the success rate of jailbreak attacks, this improvement is often superficial. It largely arises from degraded
reasoning capabilities leading to "attempted but failed" malicious responses, rather than an increase in genuine
alignment. Mechanistic analysis of representational drift confirms this, revealing a strict coupling between
reasoning capability loss and the model's inability to maintain malicious semantic trajectories. Additionally, we identify quantization with
pruning as the optimal strategy to balance efficiency and robustness. These findings clarify the distinction between true safety
alignment and capability-induced failure, providing an empirical foundation for LRM deployment.
Read the full abstract ▾
All authors Yifei Yang, Zouying Cao, Xingrui Wang, Xiao Zhou, Yuexian Li, Dongjie Yang, Hai Zhao
Artificial Intelligence · Cross-listed from cs.CL
ARID: A Deployable Edge AI System for Structured Information Extraction from Industrial Maintenance Work Orders
Kuanlin Chen and Chen-Wei Kuo
Maintenance work orders must often be processed offline on embedded hardware, yet downstream software requires predictable structured output. We present ARID (Aviation-inspired Routing for Industrial Deployment), which extracts component, failure mode, symptom, and maintenance action into fixed-schema JSON on an 8 GB NVIDIA Jetson Orin NX. ARID combines conservative dual-teacher filtering, targeted noise-aware synthesis, one routing decision per work order, 4-bit inference, and grammar-constrained decoding. From 2,326 unlabeled OMIn records, it retains 716 training pairs and adds 99
topology-constrained records targeting action extraction. On 300 human-labeled records, ARID reaches 84.8%
token-F1 on the reference stack and 82.9% on the deployed Jetson. Resident serving achieves 5,310/5,656 ms P50/P99 at 12.5 W. On zero-shot MaintNet transfer, semantic F1 falls to 46.4% while parser success remains at least 99.8%, showing that output validity transfers but field semantics do not.
Read the full abstract ▾
Artificial Intelligence · Cross-listed from cs.CV
MaskVLA: Visual Masking Against Trajectory Overfitting of Vision-Language-Action Model
Yuxuan Jiang, Jiaying Huang, Ge Wang et al. (+9 more)
Vision-
Language-Action (VLA) models integrate
vision-
language understanding with executable
robot actions, enabling end-to-end learning for
robot control. However, our empirical analysis reveals that existing models exhibit severe trajectory overfitting when finetuned on limited
datasets. To guide the model in effectively utilizing wrist camera information, we propose MaskVLA, a masking-based fine-tuning strategy. By randomly masking a small portion of the main camera's visual information, the model is guided to autonomously learn more fine-grained, task-relevant, and effective visual features. This process leads to the emergence of robust policies, thereby enhancing the model's capability to tackle complex manipulation tasks and improving its generalization performance. Our method has been comprehensively evaluated on RoboTwin 2.0, achieving an average success rate improvement of 23.2% and 16.8% compared to $\pi_0$ and OpenVLA-OFT, respectively. Furthermore, experiments on real-world ALOHA
robots also demonstrate the effectiveness of our approach.
Read the full abstract ▾
All authors Yuxuan Jiang, Jiaying Huang, Ge Wang, Shenhao Yan, Jiahao Yang, Chengsi Yao, Qi Liu, Qing Zhao, Shuguang Cui, Yiming Zhao, Yatong Han, Zhen Li
Artificial Intelligence · Cross-listed from cs.CV
Modeling Clinical Workflow for SYNTAX Scoring from Coronary Angiography Videos
Suzhong Fu, Jingqi Dong, Xuan Ding et al. (+4 more)
The SYNTAX score is a clinically established tool for assessing anatomical lesion complexity in coronary artery disease and guiding subsequent treatment. However, automated SYNTAX scoring is commonly formulated as a direct regression problem from coronary angiography
videos to patient-level scores. In this work, we reformulate SYNTAX scoring as a vessel segment identity-preserving anatomical
reasoning problem and propose a hierarchical modeling framework that explicitly aligns learning with the clinical workflow. Our approach maintains vessel segment identity across frames and views, estimates stenosis severity at the segment level, and aggregates evidence hierarchically according to coronary anatomy. Simultaneously, to address the scarcity of domain-specific data, we integrate and complete multiple public coronary angiography
datasets, constructing a large-scale resource featuring completed vessel
segmentation and derived structural annotations. Experiments demonstrate that vessel segment-level stenosis
embedding enhances explanatory power and reduces prediction variability compared to baseline models, with the R^2 score improving by 0.201 and dev STD decreasing by 18.4%. These results highlight the necessity of structure-aligned modeling for reliable and stable automated SYNTAX scoring from multi-view coronary angiography
videos. The GitHub link is https://github.com/VersaceSu7/SYNTAX_score_777.
Read the full abstract ▾
All authors Suzhong Fu, Jingqi Dong, Xuan Ding, Rui Sun, Yiming Yang, Shuguang Cui, Zhen Li
Artificial Intelligence · Cross-listed from cs.LG
Physics-residual machine learning predicts oxygen-evolution catalyst activity beyond the training range from sparse polarization measurements
Yong-Woon Kim, Jihyeok Lee, Sungtae Park et al. (+2 more)
Discovery campaigns for oxygen
evolution reaction catalysts repeatedly choose, make and measure catalysts. High-throughput platforms stop polarization curves below potentials that damage the catalyst, so the endpoint, the activity at a target potential or current density, often lies beyond the measured window, and the catalysts of most interest are more active than any measured before. Existing methods do not predict these endpoints accurately when few or no endpoints of a new library have been measured. Here we present physics-residual machine learning (PR-ML), which predicts each endpoint as the sum of a Tafel term, computed from the catalyst's own measured curve with an estimated slope, and a residual term learned from labelled catalysts. In twelve Ni-Pd-Pt-Ru thin-film libraries, the current density at 1.70 V$_{RHE}$ was predicted from the currents at 1.40 and 1.55 V$_{RHE}$. Fitted only on earlier libraries, with ridge regression as the residual learner, PR-ML predicted the Ni–Ru library, whose currents mostly exceed theirs, with a mean absolute error of 0.194 mA cm$^{-2}$, against 1.330-1.882 for data-driven models. With five endpoints from the new library and extremely randomized trees as the residual learner, PR-ML gave a similar error, which the same learner used alone reached only with 20, and identified 63-83% of the catalysts more active than the best labelled catalyst, against 2%. In two independent
datasets, this fraction rose from at most 1% to 33-95%. Our approach supplies catalyst selection with accurate endpoints beyond the measured part of each curve and above all earlier measurements.
Read the full abstract ▾
All authors Yong-Woon Kim, Jihyeok Lee, Sungtae Park, Sooseok Choi, Yung-Cheol Byun
Artificial Intelligence · Cross-listed from cs.NI
SemDHT: Certified Semantic Discovery for Peer-to-Peer Agent Networks over Exact-Key DHTs
Taotao Wang, Chonghe Zhao, Shengli Zhang et al. (+1 more)
Agents may need capabilities exposed through external
agent endpoints or service APIs. When a requester is not already bound to a provider, it must discover advertised capabilities matching its task and interface requirements. Over exact-key distributed hash tables (DHTs), broad
retrieval transfers large candidate lists, whereas selective
retrieval may miss relevant providers or require more replication and lookups. Open publication also lets providers inflate their exposure unless publication bounds are enforceable. We present SemDHT, a certified semantic index for discovering
agent-accessible capabilities over exact-key DHTs. A two-layer semantic sketch uses coarse
cells to group nearby descriptors and residual codes to narrow candidate selection. Providers publish at a bounded set of derived keys, while requesters probe precision keys before broader recall keys within a lookup budget. Anchor committees certify each descriptor's publication-key set, enabling storage services and requesters to enforce descriptor-to-key consistency. On real API descriptors and task queries, SemDHT achieves recall@10 of 0.955 against exact
embedding-space neighbors and 0.947 against ToolBench relevance labels. On a corpus with controlled density augmentation, it matches the candidate exposure of tuned locality-sensitive hashing (LSH) over a DHT at recall 0.95 with 7.7x fewer lookups and reduces publication fan-out from 16 to 10. A Go/libp2p prototype deployed on same-region and cross-region 200-peer cloud overlays replays 299 Internet queries. With parallel probes and cold certificate caches, SemDHT achieves mean completion-time speedups of 3.64x and 4.11x over LSH, respectively.
Read the full abstract ▾
All authors Taotao Wang, Chonghe Zhao, Shengli Zhang, Soung Chang Liew
Artificial Intelligence · Cross-listed from cs.LG
Predicting Out-of-Distribution Generalization of Neural Operators via Observable Spectral Error Decomposition
Hang-Cheng Dong and Pengcheng Cheng
Neural operators have emerged as powerful surrogates for solving partial differential equations (PDEs), yet their reliability under distribution shift remains a critical barrier to deployment. Existing approaches to out-of-distribution (OOD) generalization in operator learning are largely empirical and black-box: they report aggregate error metrics without explaining why errors arise or when they will grow. We propose a structure-preserving framework that makes OOD generalization predictable and auditable. Our key idea is to parameterize the learned solution operator as a spectral filter $h_\theta(\lambda)$ acting on the
eigenvalues of the underlying
elliptic operator, implemented via Chebyshev
polynomial expansions and trained with a weak-form objective. This parameterization admits an exact decomposition of the energy-norm error into two observable components: a model-dependent spectral approximation term and a distribution-dependent spectral weighting term induced by the input. From this decomposition we derive three diagnostics: a conservative in-band supremum $\vareps_{\mathrm{sup}}$, a global RMS proxy $\vareps_{\mathrm{rms}}$, and a sample-dependent effective metric $\vareps_{\mathrm{eff}}(f)$. These diagnostics can be computed without access to ground-truth solutions. Through four controlled experiments, we show that $\vareps_{\mathrm{eff}}(f)\|f\|$ consistently predicts energy error under in-distribution, in-band spectral shift, out-of-band tail, and compound shifts, whereas global metrics can be systematically misleading. Our framework shifts OOD assessment of neural operators from black-box benchmarking to operator-structure diagnostics, providing a practical route to auditable scientific machine learning.
Read the full abstract ▾
Artificial Intelligence
AgentBetta: Verification-Driven Adaptive Configuration of an AI Nano-Agent through Selective Expansion and Verified Contraction
Md. Ashraful Babu
Large
language model
agents are typically deployed with predefined configurations, although the required model capability, context, tools, permissions,
memory, and computational resources can vary substantially across tasks. This study develops and evaluates AgentBetta, an adaptive AI Nano-
Agent framework that represents these factors as an executable configuration and updates them through verification-driven diagnosis, selective expansion, and verification-based counterfactual contraction. The evaluation distinguishes controlled mechanism validation from external
agent comparisons. On the AB-ConfigBench
benchmark, AgentBetta achieved 91.38% verified success while reducing median context allocation from 64,000 to 8,000 context characters and median tool exposure from five tools to zero compared with the fully provisioned configuration. The configuration-deficiency diagnosis achieved a macro-F1 score of 0.819 with precision of 1.000 across the evaluated dimensions, and selective expansion avoided unnecessary changes to unrelated configuration dimensions. Post-success contraction preserved verification outcomes in 56.41% of evaluated one-dimension contraction probes, indicating that some successful configurations contained removable capability under the tested conditions. External evaluations indicate that adaptive configuration can improve the balance between verified task completion and capability exposure; however, the results vary across
benchmarks and
agent families. In particular, the cross-family replication did not reproduce the primary-backbone accuracy ordering, and specialized systems remained advantageous for certain task domains. These results support interpreting AgentBetta as a configuration-adaptation mechanism that regulates capability allocation and inference expenditure rather than as a universal replacement for specialized
agent architectures.
Read the full abstract ▾
Artificial Intelligence · Cross-listed from cs.HC
Heating in human-HVAC interaction for smart homes: An interdisciplinary overview
Delong Korus-Du, Gunnar Stevens, Alexander Boden et al. (+6 more)
As part of HVAC systems, residential heating provides foundational infrastructure for human habitation in cold weather. However, research on how residents interact with HVAC systems, particularly heating systems, remains fragmented across architecture, engineering, informatics, physiology, psychology, sociology, and design. Based on 541 studies from these fields, this review integrates interdisciplinary research on Heating in Human-HVAC Interaction in smart homes.The resulting synthesis is conceptualized through the Situated Interaction Dynamics of control and feedback between users and systems. User-initiated interactions involve monitoring past and present system performance and planning future operation, while system-initiated interactions rely on sensor networks to trigger automation or provide information enabling user action. These interaction dynamics connect Residents' Experience and Practices with Heating in HVAC System Mechanics. Residents' Experience and Practices include thermal comfort and energy management, where thermal comfort involves both individual physiological and psychological experiences of indoor
climate and social practices shaped by norms, empathy, and negotiation among cohabitants. Heating in HVAC System Mechanics includes thermal conditions and energy performance. Thermal conditions concern the regulation of air temperature, mean radiant temperature, air velocity, and relative humidity, while energy performance concerns efficiency and environmental impact. This overview highlights four interdisciplinary tensions: sensed versus lived conditions, personalization versus negotiation, efficiency versus health, and automation versus agency. The resulting framework offers a conceptual lens to interpret heating interactions and design Human-HVAC Interaction that balances IEQ-driven healthy thermal conditions, affordability, and sustainability.
Read the full abstract ▾
All authors Delong Korus-Du, Gunnar Stevens, Alexander Boden, Lenneke Kuijer, Apostolos K. Vavouris, Md Shajalal, Philip Engelbutzeder, Omid Veisi, Peter Tolmie
Artificial Intelligence · Cross-listed from cs.CV
CE$^4$L: Continual Ego, Exo, and Ego-Exo Learning
Hongwei Yan, Kanglei Zhou, Yuchen Liu et al. (+3 more)
Perception for
embodied agents is
video-based, often multi-view (ego, exo, or both), and inherently continual, with simultaneous task and viewpoint shifts. Yet continual learning (CL) remains dominated by exo-only recognition tasks, obscuring behavior under these real-world coupled shifts. We introduce Continual Ego, E}xo, and Ego-Exo Learning (CE$^4$L), a unified multi-view CL
benchmark spanning four representative tasks: cross-view referenced skill assessment, temporal action
segmentation, cross-view association, and action anticipation & planning. CE$^4$L highlights challenges largely absent in prior CL
benchmarks, including cross-view correspondence, view-dependent asynchrony, and heterogeneous semantic objectives. To this end, we propose
Video Incremental Subspace-routed Task Adapters (VISTA), a parameter-efficient baseline method that stores task-specific updates in lightweight adapters and performs training-free routing via residual distance to task-specific whitened subspaces estimated from second-order statistics. Extensive experiments demonstrate the significantly varied efficacy of representative CL methods across CE$^4$L settings, while VISTA is consistently competitive and achieves state-of-the-art overall performance. Our source code for
benchmarks and methods is available at https://github.com/AnAppleCore/CE4L .
Read the full abstract ▾
All authors Hongwei Yan, Kanglei Zhou, Yuchen Liu, Qingyu Shi, Yi Zhong, Liyuan Wang
Artificial Intelligence · Cross-listed from cs.CL
RPMem: Learning Long-Term Recurrent Parametric Memory Across Sessions for LLM Agents
Fanyu Zhao, Ruike Cao, Liang Dong et al. (+6 more)
Long-running LLM
agents require
memory that persists and evolves across sessions. Text-based
memory retrieves and reconstructs past interactions at every query, making long-horizon performance increasingly dependent on
retrieval quality and contextual
reasoning as histories grow. Parametric
memory encodes experience directly into model computation, but existing approaches provide limited support for cross-session
memory evolution. Their coupling to a specific backbone further restricts
memory reuse after model replacement. We introduce RPMem, a two-stage architecture that compiles each session into a model-independent latent
memory through forward computation and selectively integrates it with retained
memory via a task-trained recurrent gate. The consolidated
memory is then mapped to backbone-specific low-rank adaptation (LoRA) parameters, allowing the encoding capability to transfer when the backbone is replaced. Evaluation across three long-term
memory benchmarks and five diverse backbones demonstrates broad generalization with near-constant update cost and
memory footprint. With Qwen3-8B on PERMA, RPMem reaches 85.52%, outperforming the strongest parametric and text-based baselines by 5.32 and 12.98 percentage points, respectively. Ablations validate the complementary roles of session compilation and cross-session consolidation, while dynamics analyses reveal that the gate acquires task-specific
memory integration strategies. These results establish RPMem as a lifecycle-independent parametric
memory framework that maintains evolving cross-session
memory that remains reusable across backbone replacements. Our implementation is available at https://github.com/
Quark-Medical/rpmem/tree/main.
Read the full abstract ▾
All authors Fanyu Zhao, Ruike Cao, Liang Dong, Fugen Yao, Jian Xu, Guanjun Jiang, Han Zhang, Yifei Zhao, Yinsheng Li
Artificial Intelligence · Cross-listed from cs.CL
Propose, Verify, Commit: Evidence-Grounded Memory for Long-Horizon Multi-Actor Conversations
Zihao Lu, Zhihang Yuan, Litu Ou et al. (+1 more)
Memory enables
language model
agents to use information beyond their context windows, but maintaining and accessing this information reliably remains difficult. Long-horizon conversational
memory is especially challenging in multi-actor settings, where relevant evidence is distributed across participants and contexts, and previously established information may later be revised. We introduce EGMEMORY, a training-free agentic
memory framework centered on evidence chains that preserve message-level evidence and provenance while tracking active states and their revision histories. At write time, adaptive
memory inspection and an evidence-grounded propose-verify-commit protocol govern state updates. At read time, adaptive evidence
navigation iteratively identifies the state and supporting evidence required for a query, using conversational structure to narrow the search space and lexical-semantic relevance to rank candidates. The system operates through prompting and tool use without
memory-specific policy training. EGMEMORY achieves 68.2% on GroupMemBench and 77.9% on EverMemBench, outperforming the strongest evaluated baselines by 22.7 and 21.4 percentage points, respectively. It further reaches 73.6% on the dyadic LoCoMo
benchmark, supporting its applicability beyond multi-actor conversations.
Read the full abstract ▾
All authors Zihao Lu, Zhihang Yuan, Litu Ou, Lei Shi
Artificial Intelligence · Cross-listed from cs.LG
RLVR$^{2}$: Reinforcement Learning with Verifiable Rubric-based Ranking
Hao Li, Zhengkun Zhang, Gangqiang Hu et al. (+4 more)
Reinforcement Learning with Verifiable Rewards (RLVR) is expanding from tasks with well-defined correctness signals, such as mathematics and code, toward multifaceted quality requirements specified by multi-dimensional rubrics. Since policy optimization consumes one scalar per rollout, rubric-based pipelines must map multiple criterion scores into a scalar reward. This aggregation is often treated as score scaling, but it implicitly determines how quality dimensions trade off during training. The prevailing practice, normalizing each criterion and taking a linear combination, assumes that cardinal score differences are comparable across criteria and that gains on one criterion compensate for failures on another; both assumptions are unreliable when criteria are semantically heterogeneous. We propose Reinforcement Learning with Verifiable Rubric-based Ranking (RLVR$^2$), a verifiable ranking paradigm for rubric-based RLVR. For each criterion, RLVR$^2$ converts rubric scores into criterion-specific within-group ordinal outcomes, recovers a latent utility from the resulting comparison
matrix, and merges these utilities into one training signal. By retaining only within-group ordering and discarding raw score magnitudes, RLVR$^2$ avoids calibrating heterogeneous rubric scales. It further supports objective-preserving attribute adjustment: auxiliary attributes that correlate with observed rankings but are not training objectives can enter the estimation without expanding the rubric or rewarding them directly. Across three model scales and 16
benchmarks, RLVR$^2$ consistently outperforms representative rubric-based baselines, achieving the best overall performance on most
benchmarks at every scale. Analysis shows it controls systematic effects tied to
reasoning efficiency and response formatting while preserving the quality objective.
Read the full abstract ▾
All authors Hao Li, Zhengkun Zhang, Gangqiang Hu, Zhen Zhang, Yude Gao, Dai Dai, Jing Liu
Artificial Intelligence · Cross-listed from cs.AR
WaveletECO: A Closed-Loop Physical ECO Platform and a Specialized Local Language Model
Guoxiang Xu, Guozhen Ji, Zijian Luo et al. (+3 more)
Engineering change order (ECO) is an important step in repairing timing and electrical violations during the late stages of chip design. Existing Agentic EDA methods primarily focus on tool invocation, with less
attention to model decision quality and targeted training. A central challenge in ECO is multi-round decision-making: the model must use the results of each round to determine the next repair action. We propose WaveletECO, which integrates a closed-loop execution platform with large
language models to enable
agents to execute ECO decisions effectively. We also train a local 9B model through supervised fine-tuning and CPO-SimPO using execution demonstrations and decision-preference data, enabling ECO decision-making with a locally deployed model. Across 594 evaluation runs on 22 designs, WaveletECO-Policy (BF16) and (INT8) score 79.63 and 79.65, respectively, compared with GPT-6 Astra's 77.44. The estimated inference cost of INT8 is about 1/147 of GPT-6 Astra's. These results show that specialized model training supports effective, low-cost multi-round ECO repair, with repair quality retained under INT8 quantization.
Read the full abstract ▾
All authors Guoxiang Xu, Guozhen Ji, Zijian Luo, Zhengrui Chen, Qi Sun, Cheng Zhuo
Artificial Intelligence · Cross-listed from cs.CV
PhysReflect: Geometry and Perception Guided Diffusion for Physically-Plausible Mirror Reflections
Shuheng Ge, Hongwei Ren, Li Zhang et al. (+1 more)
Diffusion models generate high-quality images, yet often violate the physical laws governing mirror reflections. Reflections often suffer from
geometric aberrations, including positional offsets, directional misalignment, proportional imbalance, and structural distortion. These failures remain evident even in contemporary state-of-the-art generative systems. Existing methods itigate this problem through synthetic data scaling or auxiliary depth conditioning, yet their merely reliance on latent-space noise reconstruction losses as implicit supervision prevents direct enforcement of reflection-specific
geometric and perceptual constraints. To bridge this gap, we present PhysReflect, a geometry and perception guided
diffusion framework that decodes the predicted clean latent into pixel space at each training step and applies annealed supervision through two complementary differentiable objectives. The
Geometric Loss enforces mirror-induced spatial consistency through sparse epipolar correspondence and dense boundary projection
alignment, where a SAM2-based TwinTrack mechanism provides stable in-mirror localization for boundary-aware supervision. The Perceptual Loss preserves reflected appearance by combining Semantic Consistency Loss, which maintains reflected identity and appearance via DINOv2 features, and Lighting Consistency Loss, which regularizes depth, surface-normal, and illumination coherence under
monocular geometry priors. Experiments on synthetic and real-world
benchmarks show that PhysReflect outperforms prior mirror-reflection methods in
geometric, perceptual, and physical-plausibility metrics, as well as qualitative visual results.
Read the full abstract ▾
All authors Shuheng Ge, Hongwei Ren, Li Zhang, Xiangqian Wu
Artificial Intelligence · Cross-listed from cs.RO
RiverVLN: Phase-Grounded Temporal Vision–Language Navigation for Unmanned Surface Vehicles
Jieling Wu, Yuehao Huang, Jiajun Lv et al. (+3 more)
Vision-
language navigation (VLN) has largely been developed for indoor and terrestrial
robots, where
language can often be treated as a static goal and motion is approximated by discrete or near-instantaneous actions. These assumptions break down for unmanned surface vehicles (USVs): river
navigation requires continuous motion under inertia and limited maneuverability, while long-horizon instructions must be executed through sparse and visually ambiguous maritime landmarks. We introduce RiverVLN, to our knowledge the first
benchmark designed for long-horizon USV VLN under continuous riverine motion, and PGT-NAV, a phase-grounded temporal
navigation framework for USVs. Rather than directly mapping an entire instruction to motion, PGT-NAV converts it into an ordered sequence of visually verifiable semantic phases and maintains the active phase online through grounded visual and motion evidence. This explicit semantic progress state is fused with visual-motion history and phase-specific grounding to predict six local SE(2) pose increments. The resulting trajectory is executed in a predict-execute-re-observe loop, where the vessel executes toward W3, updates phase and grounding, and replans through a map-based safety layer. Experiments show that PGT-NAV substantially reduces recursive position and heading drift relative to GNM-style and ViNT-style baselines and achieves an average success rate of 0.79 in Unity-ROS closed-loop
navigation. Unseen bridge-opening trials and real-world USV experiments further demonstrate that the phase-grounded representation transfers from controlled evaluation to physical USV deployment.
Read the full abstract ▾
All authors Jieling Wu, Yuehao Huang, Jiajun Lv, Tao Huang, Yong Liu, Weiwei Liu
Artificial Intelligence · Cross-listed from cs.CY
Beyond PUE: A Local Impact Audit Framework for Data Center Environmental Accountability
Sharifa Sultana and Syed Ishtiaque Ahmed
Standard data center sustainability metrics, including Power Usage Effectiveness (PUE), Water Usage Effectiveness (WUE), and Carbon Usage Effectiveness (CUE), measure a facility's resource use and emissions intensity, normalized to IT energy use, without directly representing local resource scarcity, infrastructure capacity, or social footprint. This gap has become politically consequential. In the first quarter of 2026 alone, local opposition delayed or canceled roughly $130 billion in projects across the United States, driven overwhelmingly by recurring concerns over water use, power demand, infrastructure capacity, and transparency rather than internal efficiency, matching the total for all of 2025 [11]. We propose a five-category local impact audit framework covering efficiency, water stewardship, carbon and renewables, regulatory compliance, and local disclosure. The framework is designed for recurring quarterly assessment and independent verification against public records. We illustrate its application using publicly available data from three Illinois facilities that are currently at the center of local policy disputes, and we examine the data-access barriers that constrain independent verification. We position this framework as both a research contribution and a practical instrument for county-level policymakers evaluating data center permitting and moratorium decisions.
Read the full abstract ▾