arXiv Science⌕ Search

arXiv subjects

Bo Wang

Publications and source records attributed to Bo Wang.

At least 199 records · Page 11Linked to original sources

Multi-hop Reasoning via Early Knowledge Alignment

Retrieval-Augmented Generation (RAG) has emerged as a powerful paradigm for Large Language Models (LLMs) to address knowledge-intensive queries requiring domain-specific or up-to-date information. To handle complex multi-hop questions that are challenging for single-step retrieval, iterative RAG approaches incorporating reinforcement learning have been proposed. However, existing iterative RAG systems typically plan to decompose questions without leveraging information about the available retrieval corpus, leading to inefficient retrieval and reasoning chains that cascade into suboptimal performance. In this paper, we introduce Early Knowledge Alignment (EKA), a simple but effective module that aligns LLMs with retrieval set before planning in iterative RAG systems with contextually relevant retrieved knowledge. Extensive experiments on six standard RAG datasets demonstrate that by establishing a stronger reasoning foundation, EKA significantly improves retrieval precision, reduces cascading errors, and enhances both performance and efficiency. Our analysis from an entropy perspective demonstrate that incorporating early knowledge reduces unnecessary exploration during the reasoning process, enabling the model to focus more effectively on relevant information subsets. Moreover, EKA proves effective as a versatile, training-free inference strategy that scales seamlessly to large models. Generalization tests across diverse datasets and retrieval corpora confirm the robustness of our approach. Overall, EKA advances the state-of-the-art in iterative RAG systems while illuminating the critical interplay between structured reasoning and efficient exploration in reinforcement learning-augmented frameworks. The code is released at \href{https://github.com/yxzwang/EarlyKnowledgeAlignment}{Github}.

cs.CL↗

The Formation of Electron-capture Supernovae: A Review

It is generally believed that the electron-capture reactions happen when the oxygen-neon (ONe) cores grow in masses close to the Chandrasekhar limit, leading to the formation of neutron stars (NSs) via electron-capture supernovae (EC-SNe). EC-SNe are predicted to be the most likely short-lived and faint optical transients, and a small ejecta mass is expected during the collapse. This kind of SNe provide an alternative channel for producing isolated NSs and NS systems, especially for the formation of X-ray binaries and double NSs. Although EC-SNe were proposed ~45 yr ago, there are still some uncertainties for the origin of EC-SNe. In this article, we review recent studies on the two classic progenitor channels of EC-SNe, i.e., the single star channel and the binary star channel. In the single star channel, EC-SNe can happen in super asymptotic giant branch stars or He stars, whereas in the binary star channel EC-SNe can occur in He stars in binaries (involving He star+MS systems and NS+He star systems) or accretion-induced collapse in white dwarf binaries (involving the single-degenerate scenario and the double-degenerate scenario). Recent progress on the two progenitor channels is discussed, including the initial parameter range for EC-SNe, the evolutionary paths to EC-SNe, related objects and some observational constraints, etc. We also make some discussions on the possible candidates for EC-SNe in this article, and the impacts of EC-SNe on some research fields, e.g., the properties of NSs, double NS population and chemical products, etc. We also discuss the differences between EC-SNe and ultra-stripped SNe in this article. Research on EC-SNe is at a pivotal stage, with key theoretical uncertainties and observational challenges requiring integrated modeling and multi-wavelength observations for robust identification.

astro-ph.HE↗

Intersecting well approximable and missing digit sets

Let $b\geq3$ be an integer and $C(b,D)$ be the set of real numbers in $[0,1]$ whose $b$-ary expansion consists of digits restricted to a given set $D\subseteq\{0,\ldots,b-1\}$. Given an integer $t\geq2$ and a real, positive function $ψ$, let $W_{t}(ψ)$ denote the set of $x$ in $[0,1]$ for which $|x-p/t^{n}|<ψ(n)$ for infinitely many $(p,n)\in\mathbb{Z}\times\mathbb{N}$. We prove a general Hausdorff dimension result concerning the intersection of $W_{t}(ψ)$ with an arbitrary self similar set which implies that $\dim_{\rm H}(W_{t}(ψ)\cap C(b,D))\le\dim_{\rm H}W_{t}(ψ)\times \dim_{\rm H}C(b,D)$. When $b$ and $t$ have the same prime divisors, under certain restrictions on the digit set $D$, we give a sufficient condition for the Hausdorff measure of $W_{t}(ψ)\cap C(b,D)$ to be zero. This closes a gap in a result of Li, Li and Wu \cite{LLW2025} and shows that the dimension of the intersection can be strictly less than the product of the dimensions. The latter disproves the product conjecture of Li, Li and Wu.

math.NT↗

Grad: Guided Relation Diffusion Generation for Graph Augmentation in Graph Fraud Detection

Nowadays, Graph Fraud Detection (GFD) in financial scenarios has become an urgent research topic to protect online payment security. However, as organized crime groups are becoming more professional in real-world scenarios, fraudsters are employing more sophisticated camouflage strategies. Specifically, fraudsters disguise themselves by mimicking the behavioral data collected by platforms, ensuring that their key characteristics are consistent with those of benign users to a high degree, which we call Adaptive Camouflage. Consequently, this narrows the differences in behavioral traits between them and benign users within the platform's database, thereby making current GFD models lose efficiency. To address this problem, we propose a relation diffusion-based graph augmentation model Grad. In detail, Grad leverages a supervised graph contrastive learning module to enhance the fraud-benign difference and employs a guided relation diffusion generator to generate auxiliary homophilic relations from scratch. Based on these, weak fraudulent signals would be enhanced during the aggregation process, thus being obvious enough to be captured. Extensive experiments have been conducted on two real-world datasets provided by WeChat Pay, one of the largest online payment platforms with billions of users, and three public datasets. The results show that our proposed model Grad outperforms SOTA methods in both various scenarios, achieving at most 11.10% and 43.95% increases in AUC and AP, respectively. Our code is released at https://github.com/AI4Risk/antifraud and https://github.com/Muyiiiii/WWW25-Grad.

cs.LG↗

Evolution Models of CO WD -- AGB Star Merger Remnants

Common envelope evolution is a critical but still poorly understood phase in binary evolution. It plays a key role in forming close binaries such as hot subdwarfs, double white dwarfs, X-ray binaries, and double neutron stars. However, its outcomes remain highly uncertain. Depending on the efficiency of envelope ejection, a system may either survive as a close binary or undergo a complete merger. In this work, we investigate the post merger evolution of systems where a CO WD mergers with the core of an AGB star. A grid of merger remnant models with various core and envelope masses is constructed. At the onset of evolution, the CO core contracts and undergoes off-center carbon ignition, producing an inwardly propagating carbon flame. For remnants with relatively low mass of CO core, the flame phase is followed by core contraction and subsequent H-shell burning. For more massive CO cores, the carbon flame reaches the center and is soon followed by off-center neon burning, which is expected to eventually lead to core-collapse supernovae. The merger remnants occupy nearly the same region on HR diagram as ordinary AGB or super-AGB stars, exhibiting similar surface properties. Although their surface abundance may differ slightly from those of normal AGB stars depending on the initial core and envelope masses, these differences are strongly reduced once mass-loss is taken into account. We suggest that some giant-like stars, including candidates for Thorne-Zytkow objects (e.g., HV 2112), might alternatively be explained as AGB-WD merger remnants.

astro-ph.SR↗

TF-MCL: Time-frequency Fusion and Multi-domain Cross-Loss for Self-supervised Depression Detection

In recent years, there has been a notable increase in the use of supervised detection methods of major depressive disorder (MDD) based on electroencephalogram (EEG) signals. However, the process of labeling MDD remains challenging. As a self-supervised learning method, contrastive learning could address the shortcomings of supervised learning methods, which are unduly reliant on labels in the context of MDD detection. However, existing contrastive learning methods are not specifically designed to characterize the time-frequency distribution of EEG signals, and their capacity to acquire low-semantic data representations is still inadequate for MDD detection tasks. To address the problem of contrastive learning method, we propose a time-frequency fusion and multi-domain cross-loss (TF-MCL) model for MDD detection. TF-MCL generates time-frequency hybrid representations through the use of a fusion mapping head (FMH), which efficiently remaps time-frequency domain information to the fusion domain, and thus can effectively enhance the model's capacity to synthesize time-frequency information. Moreover, by optimizing the multi-domain cross-loss function, the distribution of the representations in the time-frequency domain and the fusion domain is reconstructed, thereby improving the model's capacity to acquire fusion representations. We evaluated the performance of our model on the publicly available datasets MODMA and PRED+CT and show a significant improvement in accuracy, outperforming the existing state-of-the-art (SOTA) method by 5.87% and 9.96%, respectively.

cs.LG↗

A winning approach to the intersections of twisted non-recurrent sets with fractals

In this paper, we prove that if $S\subseteq\mathbb{R}^d$ is hyperplane absolute winning on a closed hyperplane diffuse set $L\subseteq\mathbb{R}^d$, then $\mathrm{dim}_H S\cap K=\mathrm{dim}_H K$ for any irreducible self-conformal set $K\subseteq L$ without assuming any separation condition on $K$. The result is then applied to obtain the Hausdorff dimension of intersections between irreducible self-conformal sets and twisted non-recurrent sets $\mathrm{N}(T,\mathcal{G})$ defined as $$ \mathrm{N}(T,\mathcal{G}):=\left\{\mathbf{x}\in[0,1]^d:\liminf_{n\to\infty}\|T^n(\mathbf{x})-g_n(\mathbf{x})\|>0\right\}, $$ where $T:[0,1]^d\to[0,1]^d$ belongs to a broad class of product maps, $\mathcal{G}:=\{g_n\}_{n\in\mathbb{N}}$ is a sequence of self-maps on $[0,1]^d$ with uniform Lipschitz constant and $\|\cdot\|$ denotes the maximal norm in $\mathbb{R}^d$. When $T$ is the $β$-transformation on $[0,1]$, it provides a positive answer to a question raised informally by Broderick, Bugeaud, Fishman, Kleinbock and Weiss (Math. Res. Lett., 2010). For the case $T$ is a $d\times d$ diagonal matrix transformations, our results provide a partial answer asked in a paper of Li, Liao, Velani and Zorin (Adv. Math., 2023). A natural generalization to non-autonomous setting is also obtained.

math.DS↗

Rethinking Infrared Small Target Detection: A Foundation-Driven Efficient Paradigm

While large-scale visual foundation models (VFMs) exhibit strong generalization across diverse visual domains, their potential for single-frame infrared small target (SIRST) detection remains largely unexplored. To fill this gap, we systematically introduce the frozen representations from VFMs into the SIRST task for the first time and propose a Foundation-Driven Efficient Paradigm (FDEP), which can seamlessly adapt to existing encoder-decoder-based methods and significantly improve accuracy without additional inference overhead. Specifically, a Semantic Alignment Modulation Fusion (SAMF) module is designed to achieve dynamic alignment and deep fusion of the global semantic priors from VFMs with task-specific features. Meanwhile, to avoid the inference time burden introduced by VFMs, we propose a Collaborative Optimization-based Implicit Self-Distillation (CO-ISD) strategy, which enables implicit semantic transfer between the main and lightweight branches through parameter sharing and synchronized backpropagation. In addition, to unify the fragmented evaluation system, we construct a Holistic SIRST Evaluation (HSE) metric that performs multi-threshold integral evaluation at both pixel-level confidence and target-level robustness, providing a stable and comprehensive basis for fair model comparison. Extensive experiments demonstrate that the SIRST detection networks equipped with our FDEP framework achieve state-of-the-art (SOTA) performance on multiple public datasets. Our code is available at https://github.com/YuChuang1205/FDEP-Framework

cs.CV↗

VideoSSM: Autoregressive Long Video Generation with Hybrid State-Space Memory

Autoregressive (AR) diffusion enables streaming, interactive long-video generation by producing frames causally, yet maintaining coherence over minute-scale horizons remains challenging due to accumulated errors, motion drift, and content repetition. We approach this problem from a memory perspective, treating video synthesis as a recurrent dynamical process that requires coordinated short- and long-term context. We propose VideoSSM, a Long Video Model that unifies AR diffusion with a hybrid state-space memory. The state-space model (SSM) serves as an evolving global memory of scene dynamics across the entire sequence, while a context window provides local memory for motion cues and fine details. This hybrid design preserves global consistency without frozen, repetitive patterns, supports prompt-adaptive interaction, and scales in linear time with sequence length. Experiments on short- and long-range benchmarks demonstrate state-of-the-art temporal consistency and motion stability among autoregressive video generator especially at minute-scale horizons, enabling content diversity and interactive prompt-based control, thereby establishing a scalable, memory-aware framework for long video generation.

cs.CV↗

EEA: Exploration-Exploitation Agent for Long Video Understanding

Long-form video understanding requires efficient navigation of extensive visual data to pinpoint sparse yet critical information. Current approaches to longform video understanding either suffer from severe computational overhead due to dense preprocessing, or fail to effectively balance exploration and exploitation, resulting in incomplete information coverage and inefficiency. In this work, we introduce EEA, a novel video agent framework that archives exploration-exploitation balance through semantic guidance with hierarchical tree search process. EEA autonomously discovers and dynamically updates task-relevant semantic queries, and collects video frames closely matched to these queries as semantic anchors. During the tree search process, instead of uniform expansion, EEA preferentially explores semantically relevant frames while ensuring sufficient coverage within unknown segments. Moreover, EEA adaptively combines intrinsic rewards from visionlanguage models (VLMs) with semantic priors by explicitly modeling uncertainty to achieve stable and precise evaluation of video segments. Experiments across various long-video benchmarks validate the superior performance and computational efficiency of our proposed method.

cs.CV↗

MG-Nav: Dual-Scale Visual Navigation via Sparse Spatial Memory

We present MG-Nav (Memory-Guided Navigation), a dual-scale framework for zero-shot visual navigation that unifies global memory-guided planning with local geometry-enhanced control. At its core is the Sparse Spatial Memory Graph (SMG), a compact, region-centric memory where each node aggregates multi-view keyframe and object semantics, capturing both appearance and spatial structure while preserving viewpoint diversity. At the global level, the agent is localized on SMG and a goal-conditioned node path is planned via an image-to-instance hybrid retrieval, producing a sequence of reachable waypoints for long-horizon guidance. At the local level, a navigation foundation policy executes these waypoints in point-goal mode with obstacle-aware control, and switches to image-goal mode when navigating from the final node towards the visual target. To further enhance viewpoint alignment and goal recognition, we introduce VGGT-adapter, a lightweight geometric module built on the pre-trained VGGT model, which aligns observation and goal features in a shared 3D-aware space. MG-Nav operates global planning and local control at different frequencies, using periodic re-localization to correct errors. Experiments on HM3D Instance-Image-Goal and MP3D Image-Goal benchmarks demonstrate that MG-Nav achieves state-of-the-art zero-shot performance and remains robust under dynamic rearrangements and unseen scene conditions.

cs.CV↗

Mamba-based Deep Learning Approach for Sleep Staging on a Wireless Multimodal Wearable System without Electroencephalography

Study Objectives: We investigate a Mamba-based deep learning approach for sleep staging on signals from ANNE One (Sibel Health, Evanston, IL), a non-intrusive dual-module wireless wearable system measuring chest electrocardiography (ECG), triaxial accelerometry, and chest temperature, and finger photoplethysmography and finger temperature. Methods: We obtained wearable sensor recordings from 357 adults undergoing concurrent polysomnography (PSG) at a tertiary care sleep lab. Each PSG recording was manually scored and these annotations served as ground truth labels for training and evaluation of our models. PSG and wearable sensor data were automatically aligned using their ECG channels with manual confirmation by visual inspection. We trained a Mamba-based recurrent neural network architecture on these recordings. Ensembling of model variants with similar architectures was performed. Results: After ensembling, the model attains a 3-class (wake, non rapid eye movement [NREM] sleep, rapid eye movement [REM] sleep) balanced accuracy of 84.02%, F1 score of 84.23%, Cohen's $κ$ of 72.89%, and a Matthews correlation coefficient (MCC) score of 73.00%; a 4-class (wake, light NREM [N1/N2], deep NREM [N3], REM) balanced accuracy of 75.30%, F1 score of 74.10%, Cohen's $κ$ of 61.51%, and MCC score of 61.95%; a 5-class (wake, N1, N2, N3, REM) balanced accuracy of 65.11%, F1 score of 66.15%, Cohen's $κ$ of 53.23%, MCC score of 54.38%. Conclusions: Our Mamba-based deep learning model can successfully infer major sleep stages from the ANNE One, a wearable system without electroencephalography (EEG), and can be applied to data from adults attending a tertiary care sleep clinic.

q-bio.QM↗

A Hybrid Physics-Driven Neural Network Force Field for Liquid Electrolytes

Electrolyte design plays an important role in the development of lithium-ion batteries and sodium-ion batteries. Battery electrolytes feature a large design space composed of different solvents, additives, and salts, which is difficult to explore experimentally. High-fidelity molecular simulation can accurately predict the bulk properties of electrolytes by employing accurate potential energy surfaces, thus guiding the molecule and formula engineering. At present, the overly simplified classic force fields rely heavily on experimental data for fine-tuning, thus its predictive power on microscopic level is under question. In contrast, the newly emerged machine learning interatomic potential (MLIP) can accurately reproduce the ab initio data, demonstrating excellent fitting ability. However, it is still haunted by problems such as low transferrability, insufficient stability in the prediction of bulk properties, and poor training cost scaling. Therefore, it cannot yet be used as a robust and universal tool for the exploration of electrolyte design space. In this work, we introduce a highly scalable and fully bottom-up force field construction strategy called PhyNEO-Electrolyte. It adopts a hybrid physics-driven and data-driven method that relies only on monomer and dimer EDA (energy deomposition analysis) data. With a careful separation of long/short-range and non-bonding/bonding interactions, we rigorously restore the long-range asymptotic behavior, which is critical in the description of electrolyte systems. Through this approach, we significantly improve the data efficiency of MLIP training, allowing us to achieve much larger chemical space coverage using much less data while retaining reliable quantitative prediction power in bulk phase calculations. PhyNEO-electrolyte thus serves as an important tool for future electrolyte optimization.

physics.chem-ph↗

Fast boundary integral method for acoustic wave scattering in two-dimensional layered media

In this paper, we present a fast boundary integral method accelerated by the fast multipole method (FMM) for acoustic wave scattering governed by the scalar Helmholtz equation in multi-layered two-dimensional media. Multiple scatterers are randomly distributed in the multi-layered medium with some scatterers possibly intersecting layer interfaces. The boundary integral formulation employs a layered-medium Green's function to enforce transmission conditions across interfaces, thus avoiding unknowns on the interfaces and significantly reducing the size of the discretized problem compared to approaches that use a free-space Green's function. To demonstrate the FMM speedup, a low-order Nyström method is used to discretize the boundary integral equation and then the resulting dense linear system is solved by GMRES iterative solver accelerated by an improved layered media FMM and a overlapping domain decomposition preconditioning. In the low frequency regime, the proposed algorithm achieves an $\mathcal O(N)$ complexity. Numerical results validate the accuracy, efficiency and robustness of the method under complex settings and various incident angles. The proposed framework provides a scalable and efficient solver for acoustic wave scattering in layered media.

math.NA↗

Further Results on Safety-Critical Stabilization of Force-Controlled Nonholonomic Mobile Robots

In this paper, we address the stabilization problem for force-controlled nonholonomic mobile robots under safety-critical constraints. We propose a continuous, time-invariant control law based on the gamma m-quadratic programming (gamma m-QP) framework, which unifies control Lyapunov functions (CLFs) and control barrier functions (CBFs) to enforce both stability and safety in the closed-loop system. For the first time, we construct a global, time-invariant, strict Lyapunov function for the closed-loop nonholonomic mobile robot full-dynamic system with a nominal stabilization controller in polar coordinates; this strict Lyapunov function then serves as the CLF in the QP design. Next, by exploiting the inherent cascaded structure of the vehicle dynamics, we develop a CBF for the mobile robot via an integrator backstepping procedure. Our main results guarantee both asymptotic stability and safety for the closed-loop system. Both the simulation and experimental results are presented to illustrate the effectiveness and performance of our approach.

eess.SY↗

RepoMark: A Data-Usage Auditing Framework for Code Large Language Models

The rapid development of Large Language Models (LLMs) for code generation has transformed software development by automating coding tasks with unprecedented efficiency. However, the training of these models on open-source code repositories (e.g., from GitHub) raises critical ethical and legal concerns, particularly regarding data authorization and open-source license compliance. Developers are increasingly questioning whether model trainers have obtained proper authorization before using repositories for training, especially given the lack of transparency in data collection. To address these concerns, we propose a novel data marking framework RepoMark to audit the data usage of code LLMs. Our method enables auditors to verify whether their code has been used in training, while ensuring semantic preservation, imperceptibility, and theoretical false detection rate (FDR) guarantees. By generating multiple semantically equivalent code variants, RepoMark introduces data marks into the code files, and during detection, RepoMark leverages a novel ranking-based hypothesis test to detect model behavior difference on trained data. Compared to prior data auditing approaches, RepoMark significantly enhances data efficiency, allowing effective auditing even when the user's repository possesses only a small number of code files. Experiments demonstrate that RepoMark achieves a detection success rate over 90\% on small code repositories under a strict FDR guarantee of 5\%. This represents a significant advancement over existing data marking techniques, all of which only achieve accuracy below 55\% under identical settings. This further validates RepoMark as a robust, theoretically sound, and promising solution for enhancing transparency in code LLM training, which can safeguard the rights of code authors.

cs.CR↗

OpenMENA: An Open-Source Memristor Interfacing and Compute Board for Neuromorphic Edge-AI Applications

Memristive crossbars enable in-memory multiply-accumulate and local plasticity learning, offering a path to energy-efficient edge AI. To this end, we present Open-MENA (Open Memristor-in-Memory Accelerator), which, to our knowledge, is the first fully open memristor interfacing system integrating (i) a reproducible hardware interface for memristor crossbars with mixed-signal read-program-verify loops; (ii) a firmware-software stack with high-level APIs for inference and on-device learning; and (iii) a Voltage-Incremental Proportional-Integral (VIPI) method to program pre-trained weights into analog conductances, followed by chip-in-the-loop fine-tuning to mitigate device non-idealities. OpenMENA is validated on digit recognition, demonstrating the flow from weight transfer to on-device adaptation, and on a real-world robot obstacle-avoidance task, where the memristor-based model learns to map localization inputs to motor commands. OpenMENA is released as open source to democratize memristor-enabled edge-AI research.

cs.ET↗

SN 2024gy: Multi-epoch Spectroscopic Features Suggestive of Delayed Detonation in a Type Ia Supernova

We present photometric and spectroscopic observations of SN 2024gy, a Type Ia supernova (SN Ia) exhibiting high-velocity features (HVFs) in its early-time spectra. This SN reaches a peak $B$-band magnitude of $-19.25 \pm 0.29$ mag and subsequently declines by $Δm_{15}(B) \approx 1.12$ mag, consistent with the luminosity-width relation characteristic of normal SNe Ia. Based on the peak thermal luminosity of $(1.2 \pm 0.3) \times 10^{43}$ erg s$^{-1}$, we estimate that $0.57 \pm 0.14~\rm M_{\odot}$ of $^{56}$Ni was synthesized during the explosion. Our dense early spectral monitoring revealed significant velocity disparities within the ejecta. Notably, absorption features from the Ca II near-infrared triplet were observed at velocities exceeding 25,000 km s$^{-1}$, while the Si II $λ$6355 line velocity at the same epoch was significantly lower at $\sim$ 16,000 km s$^{-1}$. This velocity disparity likely reflects distinct ionization states of intermediate-mass elements in the outermost layers. The prominent Ca II HVFs may originate from ionization suppression within the highest-velocity ejecta, potentially indicative of minimal hydrogen mixing in a delayed-detonation explosion scenario. Additionally, the Ni/Fe ratio derived from the nebular spectrum of SN 2024gy provides further support for this model.

astro-ph.HE↗