arXiv:2607.14613v1 Announce Type: new
Abstract: Long-tailed label distributions reduce the reliability of deep learning for electrocardiogram (ECG) arrhythmia diagnosis, particularly for clinically important but rare abnormalities. Existing rebalancing and logit adjustment methods mainly address class frequency while overlooking direction-dependent morphological variability across ECG classes. This study proposes Angular Gaussian Supervised Contrastive Learning (AG-SCL) for long-tailed multi-label ECG diagnosis. AG-SCL integrates three components into a unified framework: an Angular Gaussian contrastive branch that models full-covariance class uncertainty on unit-normalized embeddings, Adaptive Logit Adjustment that learns bounded label-state-specific prior corrections instead of fixed frequency-based margins, and tail-aware augmentation that generates morphology-preserving views while protecting the 7-25 Hz QRS-dominant band. The method was evaluated on the public PTB-XL benchmark and a nocturnal ECG dataset comprising 1317 hours of recordings from 141 subjects. AG-SCL achieved the best macro-level performance on both datasets. On PTB-XL, it obtained a balanced accuracy of 0.838, sensitivity of 0.709, specificity of 0.968, mean average precision of 0.495, and TPR at 5% FPR of 0.778. On Noc-ECG, the corresponding values were 0.918, 0.889, 0.947, 0.488, and 0.900. The largest gains occurred in rare or morphologically unstable rhythm classes, while ablation studies confirmed the contributions of full-covariance modelling, Adaptive Logit Adjustment, and tail-aware augmentation. AG-SCL improves long-tailed ECG diagnosis by combining prior calibration with anisotropic representation learning, enhancing sensitivity to rare arrhythmias while maintaining clinically relevant specificity. Our code is available at: https://github.com/Open-EXG/AG-SCL-for-Long-Tailed-ECG.
Science Journals
arXiv:2607.15065v1 Announce Type: new
Abstract: Predictive world models enable robots to plan by imagining the outcomes of their actions, but their value for control hinges on generating many rollouts quickly. This creates a bottleneck for diffusion-based world models: multistep sampling makes each rollout expensive, limiting large-scale action search at inference time. We introduce DriftWorld, an action-conditioned world model based on drifting generative models. Rather than denoising iteratively at inference, DriftWorld learns an action-conditioned drift during training, allowing it to generate future frames from the current observation and a candidate action sequence in a single forward pass at 30+ fps, which is 17x faster on average than diffusion based baselines. We evaluate DriftWorld on standard vision-based robotic manipulation benchmarks, including Bridge-V2, RT-1, Language Table, Push-T, and Robomimic. By producing rollouts that are both accurate and fast, DriftWorld achieves state-of-the-art decision-making performance with far less inference time than diffusion-based world model baselines. Beyond online control, DriftWorld can also serve as an offline simulator for ranking real-world robot policies, with rollout-based scores correlating with ground truth at up to 0.99. These results show that drifting models are a strong fit for robot world modeling, where fast, high-quality imagination directly supports planning and policy evaluation.
arXiv:2607.14291v1 Announce Type: new
Abstract: Contraction theory guaranties exponential convergence between trajectories of a stable nonlinear system. When initial conditions are uncertain and represented as probability distributions, as in ensemble control, Bayesian estimation, and generative modeling, this guaranty extends to the distributional level via Wasserstein distance. However, the classical distributional bound is tight only for linear systems; for nonlinear dynamics, it can be significantly conservative because it collapses the spatially varying local contraction rate to a single worst-case constant, discarding distributional information entirely. We address three concrete consequences of this conservatism. First, we derive a tighter Wasserstein bound by replacing the worst-case rate with a displacement-weighted distributional average of the local contraction rate, which strictly improves upon the classical bound for every nonlinear contracting system. Second, we provide the first theoretical characterization of the self-correcting Euler discretization error under contraction: the error profile is non-monotone, peaks at a universal time that depends only on the contraction rate, and then decays exponentially, a behavior absent in non-contracting dynamics. Third, we prove that nonlinear contracting drifts always achieve strictly smaller stationary variance than a linear system sharing the same worst-case contraction rate, formally establishing the noise-rejection advantage of nonlinear controllers. All results are validated on a representative suite of one- and two-dimensional vector fields.
arXiv:2607.14322v1 Announce Type: new
Abstract: We probe the evaporation mechanism, and the associated adhesion dynamics of liquid capillary bridges connecting two curved, solid substrates. The coupled thermo fluid species transport and the transient evolution of capillary adhesion during evaporation are systematically examined. An accurate, fully coupled transient numerical framework is developed, wherein the equilibrium capillary profiles are first determined from level set method. Next, the evaporation is simulated via Arbitrary Lagrangian Eulerian ALE framework to accurately track the moving liquid vapor interface. The combined influence of substrate curvature, surface wettability, and solid thermal conductivity on evaporation and capillary adhesion character is comprehensively analysed. The simulation methodology is robustly validated against published literature for capillary profiles, evaporation rates, and capillary forces, demonstrating good agreement. Our results reveal that the evaporation characteristics of both hydrophilic and superhydrophobic SH liquid bridges are strongly governed by substrate curvature and thermal conductivity, and increasing values pose favourable condition for augmented interfacial mass transfer rate. The innately non uniform vapour flux generates spatially varying evaporative cooling, producing surface tension gradients that drive internal thermo capillary circulation. A non dimensional scaling analysis shows that Marangoni flow dominates buoyancy induced flow throughout. Also, increasing substrate curvature decreases the overall capillary force, owing to the reduced curvatures of the liquid bridge, while the temporal evolution of the adhesion force is strongly influenced by both substrate curvature and wettability.
arXiv:2604.02429v2 Announce Type: replace
Abstract: Convolutional neural networks (CNNs) have transformed image processing, but the energy consumption and inference latency of electronic based implementations remain fundamental bottlenecks. These limitations have motivated the search for alternative hardware architectures beyond Complementary metal-oxide-semiconductor (CMOS) chips. Optical systems can perform linear matrix operations at the speed of light with extremely low energy dissipation, making them attractive for CNN acceleration. However, building a fully coherent photonic CNN that performs both linear and nonlinear operations and training it efficiently remains an open challenge. Here we present a fully photonic convolutional neural network (PCNN) that executes image classification in the optical domain, including convolution, max-pooling, nonlinear activation, and fully connected layers. The network achieves 94.49 percent accuracy on the MNIST dataset distributed across Mach Zehnder Interferometer (MZI) meshes, weighted Multimode Interferometer (MMI) trees, and a microring resonator based nonlinearity. A mathematically exact differentiable digital twin, enables backpropagation for ex situ pre training, reaches 97.45 percent digital accuracy. Trained phases are transferred one-to-one to the photonic hardware and refined via a gradient free algorithm that estimates the full gradient with only two forward passes. The architecture exhibits inherent robustness to non idealities, under the compound effect of propagation loss, MZI insertion loss, fabrication disorder, and thermal crosstalk. A bottom-up power analysis yields 10.83 W static chip consumption and 843 ns inference latency, translating to 220 to 330 times greater energy efficiency than state of the art electronic GPUs for single-image inference.
arXiv:2605.09028v3 Announce Type: replace
Abstract: Machine learning-based Android malware detectors often fail in real-world deployment due to domain shift, where models trained on one data source perform poorly on applications from another. This paper presents a comprehensive study on the generalizability and interpretability of permission-based detectors under cross-domain conditions. Using two complementary datasets (PerMalDroid and NATICUSdroid) and five ensemble classifiers, we first establish an intra-domain baseline, where models achieve over 92% accuracy, and then quantify a severe asymmetric performance drop. While models trained on PerMalDroid generalize well to NATICUSdroid (86% accuracy), the reverse direction sees a drastic drop to 73% accuracy. Explainable AI analysis reveals bimodal feature distributions and shows that feature importance is highly unstable, with key permissions losing or gaining influence across domains. The predictive feature sets for different domains are fundamentally mismatched, as models rely on different, dataset-specific permissions. Most importantly, an ablation study demonstrates that for most models, training on a noisy feature set leads to poor generalization, confirming that domain-specific artifacts are a greater obstacle than missing features. To mitigate this, we validate a hybrid training strategy based on the intersection of common features and successfully recover cross-domain performance, achieving 88% accuracy on PerMalDroid and maintaining 97% on NATICUSdroid. These findings highlight the importance of explainable, cross-domain-robust malware detection systems and provide a practical pathway toward improving real-world deployment of permission-based Android malware detectors.
arXiv:2605.09835v3 Announce Type: replace
Abstract: We report a comprehensive measurement of the environmental $\gamma$-ray flux in Hall C of the Gran Sasso National Laboratory. A spatial mapping of the radiation was carried out using a high-purity germanium detector mounted on a movable cart and deployed at eight locations within the hall. The detector response function and full-energy-peak efficiencies were determined through Geant4 simulations validated with calibrated $\gamma$-ray sources, with particular attention devoted to the efficiency modeling and associated systematic uncertainties. In the energy range of 57-2800 keV, the average $\gamma$-ray flux is measured to be $(\mathrm{0.46} \pm \mathrm{0.06}_{stat} \pm \mathrm{0.03}_{syst})$ $\mathrm{cm}^{-2}$ $\mathrm{s}^{-1}$. The radon level was monitored for about a month using a radon detector mounted on the same cart, and a clear correlation is observed between the environmental $\gamma$-ray rate and the ambient radon concentration, consistent with the short-lived daughters of $^{222}\mathrm{Rn}$. This result represents the first high-precision and efficiency-corrected mapping of the $\gamma$-ray flux in Hall C, substantially improving its radiological characterization and providing key input for future rare-event experiments operating in this hall.
arXiv:2605.10669v2 Announce Type: replace
Abstract: The one-centre Coulomb-Sturmian convergent close-coupling method is applied
to proton collisions with the boron atom and singly charged carbon ion.
Here we report an update to our target-structure implementation, in which
configuration state functions are constructed using the method of
coefficients of fractional parentage. To assess the quality of the
structure models for the two targets, we present the excitation energies,
oscillator strengths, and dipole polarisabilities obtained from the present
configuration interaction calculations. Cross sections for total and state-selective target
excitation and electron loss are calculated from 10 keV to 1 MeV. For both
systems, the total excitation cross section is found to be dominated by
excitation of the $2s$ subshell. This emphasises the importance of a
multi-electron description of the target in such scattering calculations.
Comparisons with previous theoretical and experimental data are presented and
discussed. In particular, we find that the present calculation for the
electron-loss cross section in $p$ + C$^{+}$ collisions is in good agreement
with the available measurements across the entire overlapping incident-energy
range.
arXiv:2605.10821v2 Announce Type: replace
Abstract: Diffusion-based vision-language-action (VLA) models have emerged as strong priors for robotic manipulation, yet adapting them to real-world distributions remains challenging. In particular, on-robot reinforcement learning (RL) is expensive and time-consuming, so effective adaptation depends on efficient policy improvement within a limited budget of real-world interactions. Noise-space RL lowers the cost by keeping the pretrained VLA fixed as a denoising generator while updating only a lightweight actor that predicts the noise. However, its performance is still limited due to inefficient autonomous exploration. Human corrective interventions can reduce this exploration burden, but they are naturally provided in action space, whereas noise-space finetuning requires supervision over noise variables. To address these challenges, we propose UniSteer, a Unified Noise Steering framework that combines human corrective guidance with noise-space RL through approximate action-to-noise inversion. Given a human corrective action, UniSteer inverts the frozen flow-matching decoder to recover a noise target, which provides supervised guidance for the same noise actor that is simultaneously optimized via reinforcement learning. Real-world experiments on diverse manipulation tasks show that UniSteer adapts more efficiently than strong noise-space RL and action-space human-in-the-loop baselines, improving the success rate from 20% to 90% in 66 minutes on average across four real-world adaptation tasks.
arXiv:2607.14644v1 Announce Type: new
Abstract: In the semi-streaming model, we have an $n$-vertex graph $G=(V,E)$ whose edges arrive in an arbitrary order in a stream. The goal is to make one or a few passes over the stream, use a limited memory of $\tilde O(n)$ bits, and output a solution to the problem at hand at the end. A central open question in this area is to determine the best approximation ratio possible for the maximum matching problem via single-pass semi-streaming algorithms.
This problem admits a simple $0.5$-approximation algorithm, by maintaining a maximal matching greedily, which, despite extensive efforts, has remained the state of the art. Lower bounds for this problem have also been few and far between with best known bounds ruling out better than $1/(1+\ln{(2)}) \sim 0.590$ approximation, using a highly complicated construction motivated by the literature on RS graphs from extremal graph theory.
We develop a new framework for proving lower bounds for the semi-streaming matching problem. Our framework abstracts out the extremal graph theory and information theoretic arguments in the lower bounds, and reduces the problem to constructing certain constant-size graphs, which we call blueprints. Not only existing lower bounds can be captured by these blueprints, leading to far simpler and more concise arguments, but also we can design new blueprints that can be used to rule out $(8-2\sqrt{10})/3 \sim 0.558$-approximation for the semi-streaming matching problem. We believe this approach can be of its own independent interest and lead to further improvements on this tantalizing open question.
arXiv:2605.13348v3 Announce Type: replace
Abstract: As neural components are increasingly embedded in existing symbolic software -- including safety-critical systems -- the question arises of how to specify and enforce the safety of the newly introduced neural parts. Unlike traditional logical specifications, these must be amenable not only to the standard Boolean interpretation, but also to training and optimisation. The latter calls for a quantitative interpretation of the logical syntax, subject to further requirements such as smoothness and differentiability. Moreover, the qualitative and quantitative sides of the logic must share a unifying proof-theoretic and categorical semantics. Finally, the new logic should link cleanly to the substructural and program logics that underpin the verification of existing symbolic programs. In this paper, we present a logic that ticks all of these boxes. We introduce a family of calculi, pQLL, indexed by a hardness degree $p$, prove a cut-elimination theorem for them, and establish completeness with respect to enriched residuated `soft' lattices. At $p = \infty$, \pQLL reduces to multiplicative additive linear logic (MALL), and provability in pQLL converges to provability in MALL as $p \to \infty$. We express optimisation objectives in the syntax of this logic and prove the quantitative adequacy of neuro-symbolic loss functions -- a result that has eluded the neuro-symbolic machine learning community for nearly a decade.
arXiv:2605.17644v2 Announce Type: replace
Abstract: The particle representation model (PRM) and interacting particle representation model (IPRM) describe homogeneous turbulence through orientation-conditioned structural states. In their original form, the conditional state is organized by the unit spectral direction, while the radial spectral coordinate is integrated out. We introduce a scale-conditioned Ray-Column extension in which the spectral vector is decomposed into orientation and radial wavenumber, and the conditional structure state is projected onto finite radial bands.
The formulation starts from the continuum spectral tensor and is then reduced to the ray-packet ensemble sums used in the implementation. The bands are projections of an orientation-wavenumber tensor density and retain scale-conditioned structural populations for closure evaluation. The rapid dynamics remain ray-packet resolved, while the nonlinear slow and terminal closure coefficients are evaluated from band-aggregate structure tensors formed by integrating over orientation and wavenumber within each band. The present reference closure omits conservative cascade modeling among bands.
A reference closure is built from PRM rapid kinematics, band-local effective-gradient response, slow rotational randomization, and an active large-scale enstrophy (LSE) terminal-drain map. In the active-LSE closure, the misalignment-sensing factor Psi_fd regularizes the LSE structure-to-dissipation map; the Ray-Column formulation evaluates this map on band-aggregate structural populations. The model is assessed in irrotational strain, homogeneous shear, elliptic-streamline, and rotating-shear configurations. The rotating-shear comparison with filtered LES data illustrates the payoff of retaining band information: filtered or low-pass observables can be formed before scale information is lost in the one-point reconstruction.
arXiv:2605.19302v3 Announce Type: replace
Abstract: We introduce Coherent Utility Measure Games (CUMGs) in which players' uncertainty about the distribution of payoffs is modeled using coherent utility (risk) measures. Such measures, including mean semideviation risk and conditional value-at-risk, allow for interpretable notions of players' risk aversion while retaining formal equivalence to distributionally robust games. While CUMGs, which are a subclass of distributionally robust games, are continuous games in general, they can be viewed as finite games ``lifted'' to the mixed strategy space, which illustrates computational challenges. Prior results extend to guarantee equilibrium existence in data-driven CUMGs. We show that the computation of approximate equilibria for CUMGs parameterized by several risk measures lies in PPAD. Consequently, we obtain finite multilinear complementarity programs for the computation of equilibrium for these games, which grow with $K$, the number of data samples. Unlike standard games, these programs are not linear in a two-player setting. Next, we establish the existence of approximate equilibria in finite data-driven CUMGs with small supports in the pure actions for the players, together with sparse data subsamples that guide the search for such equilibria. We also develop a stochastic first-order approach for smoothed CUMGs using data mini-batches, with bounds linking first-order error to approximate equilibrium. We include numerical experiments comparing the sparse-support search algorithm with complementarity-program solvers.
arXiv:2605.19844v5 Announce Type: replace
Abstract: Many decision processes run for a long and unknown duration: in each round new requests arrive, an irrevocable choice must be made immediately, and the system is judged by ongoing fairness requirements. Examples include food banks allocating donations, computing systems repeatedly scheduling scarce resources across users, and institutions making repeated decisions while remaining fair over time. We propose a general approach based on \emph{deficits}, which measure how far the current outcome is from satisfying each fairness requirement. The goal is to keep all deficits small at each time step, without knowing the horizon or future agent valuations. This viewpoint also highlights a natural modeling question for long-running systems: how much of the past should be counted when fairness is evaluated? We first study the full-history model, where all past rounds count equally. We propose an efficient fully-online rule. For $n$ agents, we prove anytime guarantees: after any $t$ rounds, all requirements remain satisfied up to a slack of order $\tilde O(\sqrt{t/n})$. We instantiate the rule for online allocation of indivisible goods, yielding natural relaxations of proportionality and envy-free, and for online public decision-making. We show that this slack is tight even for weak proportionality. For unrestricted classical $\mathrm{EF}c$, the exact worst-case parameter at horizon $T$ is $\lceil T/n\rceil$. We then study discounted-memory fairness, where older deficits carry smaller weight. The same fully-online rule applies to these discounted deficits, and the resulting threshold is controlled by the discount function. In particular, the time dependence is never worse than the full-history $\sqrt t$ dependence. Overall, our results show that memory is a central part of perpetual fairness. The question is not only which requirement to impose, but also how the system should count past unfairness.
arXiv:2607.14647v1 Announce Type: new
Abstract: Speculative decoding accelerates large language model (LLM) inference without compromising output quality. Recent parallel drafting methods further improve single-request performance by decoupling draft length from drafting latency, enabling longer drafts and higher mean accepted tokens (MAT). However, under high request concurrency, long drafts waste substantial computation on rejected tokens, increasing verification cost and potentially making speculative decoding slower than autoregressive decoding. We present D-Cut, an adaptive pruning method that selects draft tokens jointly across the batch and concentrates the verification budget on tokens most likely to be accepted. D-Cut is motivated by two observations. First, acceptance lengths vary considerably across concurrent requests; D-Cut therefore performs cross-request pruning, allocating the verification budget adaptively according to draft confidence. Second, verification cost depends strongly on the deployment environment, including GPU architecture and parallelism strategy; D-Cut incorporates a runtime cost model to adapt its pruning depth to the target environment. Experiments on dense and mixture-of-experts (MoE) models show that, under high concurrency, D-Cut improves the average speedup from \(1.26\times\) to \(1.65\times\), restores acceleration in dense-model configurations where long-draft baselines are slower than autoregressive decoding, and achieves up to \(3.0\times\) speedup over autoregressive decoding on MoE models.
arXiv:2607.14966v1 Announce Type: new
Abstract: The prompt learning paradigm for vision-language models is effective yet faces a granularity dilemma: global prompts lack fine-grained semantic awareness, while local prompts ignore contextual associations, limiting cross-task generalization. This dilemma exists in dense prediction tasks. Inspired by U-Net, which unifies multi-level representations across granularities, we propose UPrompt, a U-shaped multi-granularity prompt learning framework for vision-language models. Similar to how U-Net integrates fine and coarse features through symmetric encoder-decoder pathways with cross-level connections, UPrompt constructs parallel multi-granularity representations in both visual and textual modalities, where coarse-to-fine cascaded enhancement propagates global context to refine local details, while fine-to-coarse hierarchical supervision ensures semantic consistency across scales. Extensive experiments on 17 benchmarks validate our effectiveness. UPrompt outperforms MAMET and VPKE by 4.1 and 7.3 rSum on MSCOCO, surpasses CoCoA-Mix by 5.09% in base-to-novel generalization, while maintaining competitive performance with minimal overhead (coarse-grained) and matching PSRC with 1/3 cost (medium-grained).
arXiv:2604.26258v3 Announce Type: replace
Abstract: LLM workflows, which coordinate structured calls to individual LLMs/agents to achieve a particular goal, offer a promising path towards building powerful AI systems that can tackle diverse tasks. However, existing approaches for building such workflows generally rely on human-crafted pipelines and prompts, which presents a substantial bottleneck in real world deployment. How can we automatically induce LLM-based agents and workflows in a data-driven way? This paper describes a simple data-driven approach for automatically inducing agents and LLM workflows. We formulate workflow induction as a bilevel optimization problem: an outer loop which optimizes a high-level sketch of the workflow (in particular how the LLM calls should be structured), and an inner loop which optimizes each individual LLM call one-by one. Both loops are optimized with ``textual gradients'' where for the inner loop we optimize each component in a modular way through ``backpropagating'' textual gradients layer-by-layer. We find that LLM workflows discovered through our \textsc{FlowBot} (work\textbf{flow} induction through \textbf{b}ilevel \textbf{o}ptimization and \textbf{t}extual gradients) approach performs competitively against strong baselines that make use of human-crafted or generated workflows.
arXiv:2604.27031v2 Announce Type: replace
Abstract: In a continual learning setting, we require a model to be plastic enough to learn a new task and stable enough to not disturb previously learned capabilities. We argue that this dilemma has an architectural root. A finite network has limited representational and plastic resources, yet the required capacity depends on properties of the future task stream that are unknown: how many tasks will be encountered, and how much they overlap in feature space. Regularization-based methods preserve past knowledge within fixed-capacity architectures and therefore implicitly rely on an oracle architecture sized for this unknown future. When tasks are only weakly related, fixed architectures progressively run out of plastic resources; when tasks are few or strongly overlapping, models are often over-provisioned. Inspired by neurogenesis in biology, we propose NORACL to address the stability-plasticity dilemma by tackling the oracle architecture problem through neuronal growth. Starting from a compact network, NORACL grows only when needed by monitoring two complementary signals for representational and plasticity saturation. We evaluate NORACL against oracle-sized static baselines across varying task counts and geometries. Across all settings, NORACL achieves final average accuracies that are better than or on par with oracle-provisioned static baselines while using fewer parameters. Additionally, NORACL yields architectures with interpretable growth, i.e. dissimilar tasks predominantly expand feature-extraction layers, whereas tasks which rely on common features shift growth toward later feature-combination layers. Our analysis further explains why fixed-capacity networks lose plasticity as tasks accumulate, whereas NORACL creates fresh capacity for new tasks through growth. Together, these results show that adaptive neurogenesis pushes the stability-plasticity Pareto frontier of continual learning.
arXiv:2605.21751v2 Announce Type: replace
Abstract: Text-to-optimization requires two separable capabilities: modeling -- choosing the right optimization structure -- and binding -- grounding every coefficient, index, and parameter in the concrete problem data. We study this via Text2Opt-Bench, a scalable benchmark of solver-verified optimization problems spanning 12 categories, from textbook linear programs to stochastic and multi-objective formulations with up to thousands of variables. Across 10+ models, we find that accuracy collapses as instance data grows, even when the formulation itself is simple. We call this the effective binding limit. We study it with a family of techniques, BIND, that externalize numeric data to structured files so the model binds data programmatically rather than transcribing from the prompt. When using an oracle for externalizing data, we recover between 12 and 27 accuracy points, confirming binding as a key -- but recoverable -- failure mode. In a deployable setting without oracle access, we validate our hypothesis by finetuning a model exclusively on binding and show that it outperforms end-to-end SFT and RL across three structurally distinct optimization categories, with a 1.5B binding specialist alone matching a 7B end-to-end baseline.
arXiv:2605.25306v4 Announce Type: replace
Abstract: This letter studies distributed stochastic optimization over a peer-to-peer network when agents can query only zeroth-order function values. We propose ZOOM-PB, a coordinate-sampling method that blends each local ZO estimate with a fractional-power response while maintaining only a primal state. The raw estimate is retained as a linear anchor, and the nonlinear mixing weight is coupled to the optimization stepsize. This design is motivated by a basic obstruction: transforming heterogeneous or noisy local estimates before averaging can reverse the network direction. We bound that nonlinear residual directly from the raw oracle assumptions instead of imposing an aggregate-alignment condition. With a smooth stochastic-function oracle and a connected graph, ZOOM-PB attains the nonconvex stationarity order $\mathcal{O}(\sqrt{p/(nT)})$ and a Polyak--{\L}ojasiewicz statistical term of order $\mathcal{O}(p/(nT))$, after an explicit initialization transient. Numerical examples compare ZOOM-PB with seven distributed ZO baselines under matched query and message budgets.
arXiv:2605.25796v3 Announce Type: replace
Abstract: Semantic-level watermarking (SWM) improves robustness against text modifications by treating sentences as the basic unit. However, robustness to paragraph-level paraphrasing remains difficult because such attacks globally disrupt watermark signals by changing sentence order. In this work, we propose SAMark, a self-anchored watermarking framework that removes the dependency on sentence order by establishing a step-independent green region in semantic space. To improve detectability, we introduce a multi-channel hyperbolic scoring mechanism that amplifies watermark signals while suppressing noise from weakly aligned candidates. We further propose a diversity-aware filtering strategy that combines hard filtering with soft regularization, extending beyond simple n-gram repetition filters to address semantic redundancy. Experimental results show that SAMark achieves up to 90.2% TP@FP1% under typical paragraph-level paraphrasing attacks, outperforming the strongest prior baseline by more than 30% on average, while maintaining generation quality competitive with unwatermarked text and breaking the robustness-quality trade-off that limits prior methods. Our code will be released at [this URL](https://github.com/Z1zs/SAMark).
arXiv:2605.28732v3 Announce Type: replace
Abstract: Memory is essential for enabling large language models to support long-horizon reasoning, yet existing memory systems remain unreliable and difficult to debug. Tracing memory's dynamic evolution is crucial to understand how information is synthesized, propagated, or corrupted over time. In this work, we study the new problem of error tracing and attribution in LLM memory systems. We propose a novel framework that transforms memory pipelines into executable memory evolution graphs, enabling fine-grained tracing of operational information flow. We then construct MemTraceBench, a benchmark collected from representative memory systems such as Long-Context, RAG, Mem0, and EverMemOS, to systematically study memory failure modes. We further introduce an automatic attribution method that iteratively traces operation subgraphs to pinpoint the root cause of any failed case. Our analysis reveals that memory failures are systematic, stemming from operation-level issues like information loss and retrieval misalignment. Crucially, we leverage these fine-grained attribution signals to guide downstream prompt optimization, establishing a closed-loop system that automatically corrects faults and boosts end-task performance by up to 7.62%. Code will be released at https://github.com/zjunlp/MemTrace.
arXiv:2605.30060v3 Announce Type: replace
Abstract: This work presents ViGeo, a feed-forward foundation model for recovering spatially dense and temporally consistent geometry from video sequences. Built upon a plain transformer architecture without task-specific architectural modifications, ViGeo supports streaming, full-sequence, and long-video inference within a unified model. The key design is dynamic chunking attention, which exposes the model to both bidirectional and causal temporal contexts during training and allows it to adapt its attention pattern at test time without retraining. To improve supervision quality, we further introduce a completion-based data refinement framework. This framework trains a video depth completion teacher that conditions on sparse and noisy annotations and exploits video/multi-view context to produce dense, temporally coherent, and geometrically reliable training targets. Beyond depth and point maps, ViGeo also predicts surface normals within the same framework. Trained solely on public datasets, ViGeo achieves state-of-the-art performance across online, offline, and long-video depth estimation, surface normal estimation, and video point map estimation.
arXiv:2606.01772v2 Announce Type: replace
Abstract: The impact of applying generative AI tools to requirements engineering (RE) in industrial practice remains poorly understood. This paper examines how AI-assisted RE tools are used in industrial practice at XITASO, a medium-sized enterprise for high-tech software engineering, and how they reshape workflows, tool integration, and PO--developer relationships. We combine a 2024 company-wide use-case survey with two rounds of semi-structured interviews with eight product owners (POs) in late 2025 and spring 2026, covering an in-house chatbot and seven commercial AI tools. We identify 15 distinct use cases across four categories: product backlog management, tender management, requirements and domain understanding, and document and artifact creation. Three findings emerge. First, the effect of AI on PO--developer interaction is mixed: the prevailing single-user interaction model can substitute for collaborative dialogue, and developers do not always welcome AI-generated artefacts. Second, tool integration -- not tool capability -- is the binding constraint: where integration is in place, time savings are dramatic; where it is missing, POs fall back on manual workarounds. Third, AI advances faster than the surrounding organisational systems, so its benefits accrue to individual POs while team processes and customer readiness remain the bottleneck. The empirical GenAI-RE literature remains dominated by early-stage, lab-oriented evaluations of isolated tasks while practice has moved into territory it has not yet studied: practitioners are already assembling cross-tool integrations, navigating customer governance, and renegotiating role boundaries. From these patterns we derive a set of questions practitioners considering AI-assisted RE may ask of their own situation.
arXiv:2606.05544v2 Announce Type: replace
Abstract: Pretrained spatial audio encoders are increasingly used as general-purpose representations for perceptual tasks, yet their spatial encoding capabilities remain poorly understood. We introduce the Spatial Audio Representation Learning (SARL) benchmark, a controlled framework for evaluating spatial information in pretrained audio models. SARL probes source-level factors (azimuth, elevation, distance, class) and room-level factors (RT60, volume, shape). Experiments across diverse encoders reveal three patterns: input configuration and training paradigm shape spatial encoding; source factors are consistently easier to decode than room factors; and sensitivity analysis under controlled perturbations shows heterogeneous responses to source and room variation. These results reveal systematic biases in current pretrained audio representations. SARL is released as an open-source benchmark for reproducible evaluation of spatial audio representations.