arXiv Science⌕ Search

arXiv subjects

Ao Li

Publications and source records attributed to Ao Li.

At least 19 recordsLinked to original sources

EgoForesight: Effectively Scaling Policy Learning with Noisy Egocentric Actions

Scaling policy learning requires broad experience and reliable supervision. Robot demonstrations provide high-quality trajectory supervision but are costly to collect. Egocentric videos broaden task and environment coverage, yet motion reconstruction and retargeting introduce noisy action labels. To address this challenge, we introduce EgoForesight, a vision-language-action framework that learns jointly from both sources by reducing the influence of unreliable action labels and exploiting demonstrated outcomes as complementary supervision. A joint vision-action flow couples future visual representation prediction with action generation, unifying reliability-aware action learning with outcome-informed representation transfer. Specifically, reliability-conditioned corruption allocates action supervision across noise levels according to source reliability, while reliability-weighted regression regulates each source's contribution. Complementing this treatment of noisy labels, privileged-future representation distillation draws supervision from demonstrated outcomes. An exponential-moving-average teacher observes the current scene and clean future to encode action-relevant structure from the resulting scene change. Its deeper representations supervise an earlier student layer receiving a corrupted future, providing outcome-informed structure beyond noisy action annotations. Together, these mechanisms support effective scaling with noisy egocentric actions. Over the tested range, EgoForesight exhibits steeper scaling slopes than the baseline, reducing real-world open-loop action MSE by 20.5% and improving RoboCasa few-shot success by 8.1 percentage points at 30,000 hours of pretraining data. After post-training, it also achieves strong absolute performance in both simulated and real-world dexterous manipulation.

cs.RO↗

Reusing Statistical Guarantees Under Change: Selection Costs and Event Ownership

An adaptive system can retain an earlier estimate while changing what that estimate is used to guarantee. The guarantee depends on the experiment that produced the evidence, including how its target was selected and which assumptions connect it to the current claim. We show that past-measurable selection preserves future martingale dynamics without preserving a unit expected starting value. An exact finite counterexample, using a strictly positive family, refutes a published changing-prior extension as stated with probability one and rules out unrestricted bounds based only on switch count and the error level. We give a paid-start multi-switch correction and establish $m$ as the sharp worst-case expected starting-moment cost for an unstructured family of $m$ hypotheses. We then develop Adaptive Assurance, a framework in which statistical events retain their experiment, funding and outcome bindings while claims and premise dependencies change. Compatible-outcome projection supports reuse, selective invalidation, fresh acquisition and auditable decisions. Two histories can have identical current regions yet require different responses to a later edit, making evidence origin part of the assurance state. Studies in six public-recorded domains exercise heterogeneous outcomes and access contracts. Component interventions expose erroneous inheritance and unnecessary resets. The framework separates conditional guarantee recovery from competence adaptation, with explicit costs for evidence, computation and verification.

stat.ME↗

Zero-forward Kerker scattering via synthesized complex-frequency excitation

All objects illuminated with light inevitably cast a shadow -- a universal phenomenon encapsulated in the fundamental property that all passive systems with plane-wave illumination feature a non-zero forward scattering amplitude. Since Kerker's landmark 1983 paper, considerable effort has been devoted to overcoming this limitation and achieving the elimination of forward scattering -- an objective now widely known as the zero-forward Kerker scattering. However, this objective is fundamentally restricted to active systems, requiring either physical gain in materials or virtual gain in the excitation source. Despite advances in active materials science and non-Hermitian photonics, the experimental realization of zero-forward Kerker scattering still remains an open challenge. Here, we show, both theoretically and experimentally, how zero-forward Kerker scattering can be effectively synthesized by a weighted superposition of readily accessible real-frequency responses. Our synthetic recipe builds on creating an artificial pole at a complex frequency that prevails over inherent scattering poles. These findings not only unlock a realistic experimental framework for non-Hermitian light-matter interactions, but also hold technological relevance for non-invasive sensing and imaging.

physics.optics↗

Adaptive Antenna Element Activation for Multiuser Uniform Spherical Arrays

Uniform spherical arrays provide full-space coverage. However, owing to directional element patterns, full-array transmission activates many elements that contribute little to a given user, resulting in increased system overhead and inefficient power allocation. To address this issue, this letter proposes an adaptive element activation strategy for multiuser uniform spherical arrays that reduces the number of physically active elements while satisfying individual user rate requirements. The proposed strategy constructs a user-specific candidate sequence according to the angle between each element boresight and the user direction. At each iteration, it selects, among the unsatisfied users, the user-element connection that provides the largest improvement in the aggregate rate deficit. Simulation results show that fewer than half of the elements are sufficient for a single user to achieve 80% of its full-array rate, while fewer than 70% are sufficient to achieve the full-array rates of all users in multiuser scenarios. Moreover, the proposed strategy consistently requires a lower active-element ratio than the baseline methods across all tested configurations.

eess.SP↗

Turn-level Multiscale Density Ratio Estimation for LLM Agents

With the rapid development of Large language model (LLM), agent systems enhanced by LLMs show huge potential in being able to deal with complex tasks, especially involving multi-step thinking or interaction with tools. For applying LLM techniques with a well-designed agent paradigm, post-training of LLM in multiple agent scenarios is necessary to achieve better performance. Among the variable post-training techniques, alignment methods such as PPO, DPO, DIL, and GRPO become popular because many papers show a significant positive impact on the model's performance by punishing negative samples while keeping acceptable training complexity. However, most alignment methods address simple single-turn tasks, and there remains room for improvement for complex multi-turn tasks. We propose Turn-level Multiscale Density Ratio Estimation (tlm-DRE), which assigns different weights on corresponding turns and proposes asymmetric token-level training based on the positive-negative space gaps across multiple turns of tasks. The results of the experiment on a wide range of agent benchmarks show that the proposed method performs competitively compared to traditional alignment methods. The proposed training method enables LLMs to perform robustly in multi-turn reasoning tasks with both in-domain and out-of-domain conditions.

cs.AI↗

LITERARYBIGFIVE: Author-Personalized Text Generation in a Unified Interpretable Space

Personalized text generation for authors and literary writing is essential for applications such as adaptive writing assistants, creative support tools, and computational literary analysis. However, existing approaches to author modeling and personalization often represent writing behavior as independent labels, requiring large-scale corpus collection or fine-tuning for each author or stylistic category. Such formulations are costly, difficult to interpret, and poorly suited for generalizing across authors. Inspired by the Big Five model's dimensional view of personality, we propose LiteraryBigFive, a framework that reframes authorial writing characteristics as coordinates within a unified and interpretable space. In this space, we derive each interpretable axis (e.g., Classicism, Emotionality) from activation-space contrasts between author-written and neutral passages, yielding distinct stylistic dimensions that allow texts or authors to be positioned within a five-dimensional system. Beyond localizing different authors, we further introduce an interpretable steering mechanism, which adaptively guides text generation toward target coordinates to perform author-personalized writing. Experimental results show that LiteraryBigFive improves authorial expressiveness while preserving semantic fidelity. The derived author per-axis scores strongly correlate with real-world literary consensus, offering transparent and interpretable explanations of author-specific generation behavior: https://github.com/Znull-1220/LiteraryBigFive.

cs.CL↗

Scalar induced gravitational waves as probes of dark QCD

We investigate scalar induced gravitational waves (SIGWs) as probes of a dark QCD crossover. Motivated by twin Higgs and asymmetric twin baryon dark matter scenarios, we consider a dark QCD sector with a confinement scale approximately 5.5 times the Standard Model (SM) QCD scale. We construct the effective energy and entropy degrees of freedom for the SM supplemented by dark QCD sectors containing either three light dark quark flavors or all six dark quark flavors. The resulting equation of state parameter and sound speed are then used to solve the first-order scalar perturbations and the second-order SIGWs through the SM and dark QCD crossover epochs. For a monochromatic primordial curvature power spectrum, we first demonstrate that the realistic SM thermal history modifies the SIGW spectrum relative to the idealized radiation-dominated case. We then show that a dark QCD crossover generates an additional frequency-shifted distortion when the enhanced scalar mode reenters the horizon near the dark confinement scale. This distinctive feature can therefore serve as a characteristic signature of the dark QCD sector. Our results demonstrate that SIGWs provide a complementary cosmological probe of hidden confining sectors, with characteristic spectral features shifted to higher frequencies relative to the SM QCD imprint. The analysis developed in this work can also be extended to other well-motivated theories containing different dark confining sectors.

hep-ph↗

AgenticVAU: Multi-Agent Explore-Verify Reasoning for Video Anomaly Understanding

Video anomaly understanding (VAU) focuses on comprehensively interpreting abnormal events in videos, requiring models to identify anomalous occurrences, discover their supporting evidence, and explain the underlying causes beyond simple anomaly detection. Existing VAU methods often rely on specialized training or limited observations, restricting generalization or evidence coverage. Although single-agent alternatives support adaptive video observation, they still integrate exploration, observation, and decision-making within a unified reasoning process, offering limited role specialization and structured evidence coordination. To address these limitations, we present AgenticVAU, a training-free multi-agent framework that casts VAU as an explore--verify process, where the system first discovers potential anomalies and then verifies them through targeted observations. To achieve this, four specialized agents are introduced to handle visual-rule construction, search planning, video observation, and final decision, respectively. These agents communicate through an anchor registry, a shared evidence memory that binds each observation. Guided by this agent framework, AgenticVAU interleaves broad temporal exploration, dense local verification, and cross-interval comparison until sufficient evidence is collected. We conduct extensive experiments on the ECVA, UCF-Crime, and MSAD subsets of VAU-Bench, the results show that AgenticVAU outperforms zero-shot inference and reinforcement learning-based baselines, demonstrating the value of multi-agent collaboration for video anomaly understanding.

cs.CV↗

SymphonyGen: 3D Hierarchical Orchestral Generation with Controllable Harmony Skeleton

Generating symphonic music requires simultaneously managing high-level structural form and dense, multi-track orchestration, yet existing symbolic models often struggle with a "complexity-control imbalance" between scalability and steerability. We present SymphonyGen, a 3D hierarchical framework for contemporary orchestral generation, whose cascading decoders decompose the bar, track, and event axes, keeping decoding memory far below flat token streams and enabling conditioning at every structural level. A beat-quantized multi-pitch harmony skeleton, which may be user-written, analyzed, or model-generated, provides "short-score" conditioning, enabling outline control while producing orchestral textures. The model is refined with reinforcement learning against a cross-modal acoustic reward from CLaMP 3 audio embeddings, and a dissonance-averse sampling algorithm suppresses unintended tonal clashes during inference. Objective evaluations show that both post-training mechanisms reduce dissonance while maintaining independent melodic metrics, and in subjective tests SymphonyGen is rated above baseline systems in quality and preference, significantly so among general listeners.

cs.SD↗

M3MAD-Bench: Multi-Dimensional Evaluation of Multi-Agent Debate Across Domains and Modalities

As an agent-level reasoning and coordination paradigm, Multi-Agent Debate (MAD) orchestrates multiple agents through structured debate to improve answer quality and support complex reasoning. However, existing research on MAD suffers from two fundamental limitations: evaluations are conducted under fragmented and inconsistent settings, making fair comparison difficult, and are largely confined to text-only scenarios, leaving its effectiveness in multimodal settings underexplored. To address these gaps, we introduce M3MAD-Bench, a unified and extensible benchmark for evaluating MAD methods across Multi-domain tasks, Multi-modal inputs, and Multi-dimensional metrics. M3MAD-Bench establishes standardized protocols over five core task domains, including Knowledge, Mathematics, Medicine, Natural Sciences, and Complex Reasoning, covering a total of 13 datasets, and systematically includes both pure text and vision-language data, enabling controlled cross-modality comparison. We evaluate MAD methods on 9 base models spanning different architectures, scales, and modality capabilities. Beyond accuracy, M3MAD-Bench incorporates efficiency-oriented metrics such as token consumption and inference time, providing a holistic view of performance--cost trade-offs. Through extensive experiments, we derive nine key insights, revealing that MAD is not uniformly effective: collaborative methods are generally more robust than adversarial ones, especially on reasoning-intensive and multimodal tasks, but often incur substantial efficiency costs. These findings provide practical guidance for selecting and designing MAD strategies in real-world applications. We believe M3MAD-Bench offers a reliable foundation for future research on standardized and reproducible MAD evaluation. The code is available at https://github.com/liaolea/M3MAD-Bench.

cs.AI↗

Rarity-Aware Discrete Diffusion with Spatially Consistent Decoding for Photo-Realistic Image Super-Resolution

Continuous diffusion models have become the dominant paradigm for photo-realistic image Super-Resolution (SR), but they typically formulate reconstruction as continuous signal-level denoising and incorporate semantic priors through external conditioning modules. This makes it less direct to exploit the unified token-based scaling paradigm of modern multimodal models. Autoregressive models provide a more native semantic representation by modeling images as discrete visual tokens, yet their causal decoding is inefficient for high-resolution reconstruction. Discrete diffusion offers a promising middle ground by enabling non-causal, parallel prediction over visual tokens. However, directly adapting discrete diffusion to SR remains non-trivial due to two task-specific challenges: (1) the long-tailed distribution of visual tokens, which under-represents rare but perceptually critical textures; and (2) spatially inconsistent parallel decoding, which may introduce isolated artifacts. To address these issues, we propose DiMOO-SR, a rarity-aware multimodal discrete diffusion framework for photo-realistic image SR. During training, Inverse Frequency Sampling (IFS) prioritizes under-represented but information-rich tokens. During inference, Spatial Consistency Ranking (SCR) refines token confidence using local neighborhood agreement to improve structural coherence. Extensive experiments on widely used real-world SR benchmarks demonstrate that DiMOO-SR achieves competitive perceptual quality with only a few parallel decoding steps, highlighting the potential of discrete diffusion for generative image super-resolution. The code will be released upon publication.

cs.CV↗

Fracture energy of 6H-SiC at the microscale: effects of testing geometry and notch preparation

Micromechanical testing enables small-scale fracture energy measurements, but values depend strongly on geometry and specimen preparation. Here, the fracture energy of the single-crystal 6H-SiC {10-10} plane was measured using microscale double cantilever beam (DCB) and single cantilever beam (SCB) geometries. DCBs showed stable crack growth under displacement control and obtained 7.5 +- 0.3 J/m2. In contrast, SCBs notched by a Ga focused ion beam gave fracture energies over twice this value, indicating Ga implantation and near-notch residual stresses. Increasing the final notching current increased the measured fracture energy further. Although near-cryogenic notching limited ion-beam-induced damage, it did not reconcile SCB-derived values with DCB test results. Vacuum annealing substantially lowered the fracture energy and brought SCB results into close agreement with DCB measurements, whereas annealing in argon was less effective. Our findings highlight the importance of careful sample preparation and testing geometry selection for reliable fracture property measurement in ceramic materials.

cond-mat.mtrl-sci↗

JoyAI-Sim: A Simulation-Enabled Interconversion Toolchain for the Embodied Data Pyramid

Generalist robot policies require trustworthy evaluation and robot-usable training data, but both are difficult to scale with physical robots alone. Real-robot trials and demonstrations remain the most faithful source of deployment signals, yet they are slow, costly, and hard to reproduce. We present JoyAI-Sim, a simulation-enabled interconversion toolchain for human-robot aligned model evaluation and data generation, denoted as Robot $\rightleftharpoons$ Simulation $\rightleftharpoons$ Human. On the one hand, the Robot $\rightarrow$ Simulation $\rightarrow$ Human pathway supports human-robot aligned model evaluation by reconstructing real-robot tabletop organization tasks as calibrated digital twins for scalable evaluation, while using human embodied feedback to inspect and refine the naturalness of simulated motions. On the other hand, the Human $\rightarrow$ Simulation $\rightarrow$ Robot pathway supports human-robot aligned data generation: it lifts ego-centric human demonstrations into simulation, checks them under robot physical constraints, and converts them into robot-centered trajectories, annotations, and visual observations. Together, these pathways use the JoySim simulator as both a scalable evaluation layer and a physical consistency filter for robot data generation. We further package the core reconstruction, simulation, rendering, and realism-augmentation modules as cloud services on JD Cloud, turning the system into a reusable and scalable infrastructure for robot data generation and model evaluation.

cs.RO↗

Electroweak right-handed neutrino portal dark matter

We study dark matter coupled to the Standard Model via electroweak scale right-handed neutrinos in a Type-I seesaw framework. We consider a minimal dark sector containing a fermion $χ$ and a complex scalar $ϕ$ whose only connection to the Standard Model is through renormalizable Yukawa interactions with right-handed Majorana neutrinos, thus realizing a neutrino portal after seesaw mixing. We discuss three representative realizations of electroweak right-handed neutrinos arising from the Type-I seesaw mechanism, spanning small, tiny, and ultraweak couplings to the Standard Model sector, so that the dark particles can either undergo secluded freeze-out or be produced via freeze-in. Instead of merely estimating the order of magnitude of the seesaw couplings, we use the Particle Swarm Optimization algorithm to obtain viable seesaw parameter sets consistent with neutrino data and other constraints, and then compute the coupled evolution of the dark particles and right-handed neutrinos, reproducing the observed dark matter relic abundance in representative benchmark scenarios. For freeze-out, dark matter depletion is controlled by coupled dark sector dynamics, requiring a full Boltzmann treatment for a reliable relic abundance. For freeze-in, internal dark interactions also alter the relic density: treating hidden particles as independent components with late decays added afterward can misestimate the abundance by $30\%$ or even $95\%$, depending on the interaction structure. Electroweak right-handed neutrino portal dark matter thus provides a robust and predictive framework that tightly connects neutrino physics, heavy neutral lepton phenomenology, and the cosmological dark matter relic density, offering a well-motivated benchmark for complementary collider, neutrino, and cosmological probes at the high energy frontier.

hep-ph↗

Formally Solving Answer-Construction Problems in Lean

Large language models (LLMs) have achieved remarkable progress in formal mathematical reasoning. Mathematical competition problems fall into two broad types: theorem-proving problems ask for a proof of a fully specified statement, whereas answer-construction problems ask the solver to construct an answer object and prove that it satisfies the stated specification. Existing mathematical reasoning engines mainly target theorem-proving problems, yet answer-construction problems remain less studied. This setting is challenging because model capabilities are misaligned, with general LLMs better suited to answer construction and prover LLMs better suited to proof generation, and because Lean proof checking alone does not rule out inadmissible circular witnesses. To close this gap, we introduce Enumerate-Conjecture-Prove (ECP), a neuro-symbolic framework for solving answer-construction problems in Lean. ECP uses general LLMs to perform bounded enumeration and construct candidate answers, and invokes prover LLMs to produce machine-checked proofs. ECP introduces admissibility checking to ensure that each answer is canonical and does not involve a circular argument. On answer-construction problems from PutnamBench and autoformalized MathArena, ECP formally solves 17/346 PutnamBench instances and 18/75 MathArena instances with admissible answers and proofs, outperforming LLM baselines at aligned inference budgets.

cs.AI↗

Revisit of the electromagnetic correction to $τ\toππν_τ$ and its implication for muon $g-2$ based on $τ$ data

In this work we focus on the evaluation of the leading-order hadronic vacuum polarization contribution from the $ππ$ channel to the muon anomalous magnetic moment $a_μ$ by using the experimental $τ\toππν_τ$ data. The isospin breaking corrections play the decisive role in this approach of computing $a_μ$. One of such important isospin breaking sources is the long-distance electromagnetic correction factor $G_{\rm EM}$ of the $τ\toππν_τ$ process from the real photon radiation. The latter effect can be calculated from the $τ\toππν_τγ$ amplitude, which is revised in this work within the resonance chiral theory by simultaneously including the even-intrinsic-parity and odd-intrinsic-parity resonance operators. We update the determination of the only unknown resonance coupling through the $ω\toπ^0π^0γ$ decay by including contributions from both the vector and scalar resonances. By taking other remaining contributions from the muon $g-2$ White Paper 2025, we further revise the complete value of $a_μ$, which turns out to deviate from the newest world average result after Fermilab's measurement at the level of 2.7 $σ$.

hep-ph↗

Real-Time Underwater Image Enhancement via Frequency-Guided Dual-Path Attention

Real-time underwater image enhancement (UIE) is crucial for mobile underwater photography and autonomous robotic systems, where practical deployment typically requires low latency and compact models under constrained computational resources. Recent ultra-lightweight CNNs based on structural re-parameterization meet these constraints but operate purely in the spatial domain, ignoring the frequency-sensitive nature of underwater degradation. To address this, we propose a lightweight UIE framework that integrates two key components: a Multi-Branch Reparameterizable Convolution with Fixed DCT Priors (MBRConv-DCT) that injects structured directional frequency priors during training, and a Frequency-Guided Dual-Path Attention (FGDPA) module that fuses spatial and spectral cues via a dual-path design for adaptive feature modulation. Both components are fully compatible with structural re-parameterization: the convolution branch introduces zero additional inference cost after re-parameterization, while the attention module incurs only a minimal computational overhead. Experiments show our model achieves state-of-the-art performance with only 4.23K parameters and 600+ FPS, outperforming much larger methods in both quantitative metrics and visual quality. Code is available at https://github.com/LethyZhang/FGDPA.

cs.CV↗

AIChilles: Automatically Uncovering Hidden Weaknesses in AI-Evolved Systems

The computer systems community has recently seen growing interest in AI-driven system evolution, where AI agents iteratively rewrite systems. Frameworks such as AdaEvolve and Engram report 12-60% score improvements over human-designed algorithms. While these results are promising, there are practical concerns if these AI-evolved programs can perform worse on unseen workloads and exhibit scalability regressions. Given the speed and scale of AI-generated code, we need automated mechanisms to uncover such identify hidden weaknesses in AI-evolved systems programs. To this end, we develop AIChilles that takes as input a baseline program $P$ and an AI-evolved program $P'$, AIChilles searches for valid workloads where $P'$ regresses relative to $P$ in correctness, runtime, memory usage, or output quality. To tackle the diversity in system applications, weakness types and potential bugs, AIChilles combines deterministic workload-parameter extraction, agent-based constraint inference, differential oracles, and code-frequency coverage to discover diverse failures. Across five system applications and 30 AI-evolved programs, AIChilles finds 49 distinct hidden weaknesses. We also show that explicitly including AIChilles in the AI-driven development lifecycle can mitigate several of these weaknesses.

cs.AI↗