arXiv Science⌕ Search

arXiv subjects

Zhuo Li

Publications and source records attributed to Zhuo Li.

At least 19 recordsLinked to original sources
arXiv2026

MAC-Bench: Benchmarking Multi-Agent Collaboration via Interconnected Tasks

Large language model (LLM)-based multi-agent systems (MAS) tackle challenging tasks by dividing work among agents and coordinating their contributions toward shared objectives. Evaluating these systems therefore requires benchmarks that assess not only task-solving performance but also the ability to handle interdependent work. However, existing benchmarks often emphasize task difficulty without substantial collaboration requirements or evaluate only a limited range of predefined collaboration patterns. In this paper, we introduce MAC-Bench, a comprehensive benchmark for evaluating multi-agent collaboration through interconnected tasks. Rather than imposing predefined agent roles or communication protocols, MAC-Bench embeds collaboration requirements directly into task dependencies and shared-resource constraints. Specifically, we mine reusable collaboration structures from selected benchmark tasks at two levels. Local collaboration patterns capture recurring interactions among subtasks, while global task structures characterize how these interactions contribute to complete workflows. Through coarse-to-fine composition, these structures are recombined into task graphs combining different collaboration requirements. Tasks are instantiated in executable environments with automated verification of partial progress and complete task resolution.

cs.MA↗
arXiv2026

Echoes as Anchors: Probabilistic Costs and Attention Refocusing in LLM Reasoning

Recent work improves reasoning in large reasoning models (LRMs) by test-time scaling through self-consistency and parallel thinking, adding generic "thinking tokens", or presenting the question twice, as in re-reading (RE2). However, these approaches either inject task-agnostic tokens or mandate heuristics that do not explain, and often ignore, the spontaneous repetition that many LRMs exhibit at the head of their long chain-of-thought (CoT). In this work, we investigate the model's tendency to restate the question, which we dub Echo of Prompt (EOP), as a mechanism that shapes computation from the start and can be viewed as prompt repetition inside the reasoning trace rather than in the input. We formalize its probabilistic cost by casting echo removal as rejection sampling, and define the Echo Likelihood Gap as a computable proxy linking early repetition to likelihood gains and downstream accuracy. We find that (1) in a causal intervention, reinserting an echo into failed GSM8K traces raises exact match by 7.9-10.4 points for two reasoning models but not for a non-reasoning base model; and (2) likelihood analyses controlling for length and suffix indicate that EOP's benefits go beyond verbosity, while layer-wise attention studies show that EOP increases attention from answer tokens to the answer prefix in middle layers, consistent with an attention refocusing mechanism. Building on these findings, we develop Echo-Distilled SFT (ED-SFT) to instill echoing before reasoning via supervised fine-tuning, and training-free Echoic Prompting (EP) to ground the model on the prompt midway through the trace. We evaluate on GSM8K, MathQA, Hendrycks-MATH, AIME24, and MATH-500 under identical decoding settings and budgets, and observe gains over baselines, including the insertion of thinking tokens, in most settings. Our code is publicly released at https://github.com/hhh2210/echoes-as-anchors.

cs.CL↗
arXiv2026

Edge-structure fault diameters of exchanged hypercubes

We determine the edge-structure and edge-substructure fault diameters of the exchanged hypercube $EH(s,t)$ for every $1\le s\le t$. Both parameters equal $s+t+4$, two more than the fault-free diameter, except for $EH(2,2)$, where both are nine, and $EH(1,1)$, where they are five and six, respectively. This holds even though an admissible family may remove up to $2s$ vertices, more than the vertex connectivity $s+1$. For every $s\ge2$, the maximum is attained by $s$ parallel fault edges in class $0$. For $s\ge3$, the structure-fault diameter exceeds the classical $s$-vertex-fault diameter by exactly one.

cs.DM↗
arXiv2026

AnyMo: Scaling Any-Modality Conditional Motion Generation with Masked Modeling

Conditional human motion generation remains a fundamental challenge in computer vision and robotics. Despite significant progress, current methods are often constrained by fixed modality configurations and task-specific architectures, leaving cross-modal interactions and the scaling laws of multimodal-conditioned synthesis largely underexplored. A key bottleneck is the scarcity of large-scale modality-aligned motion data, limiting generalization across diverse control signals. In this work, we introduce OmniHuMo, a large-scale, high-quality dataset comprising over 5,000 hours of motion and 3.2 million sequences with precisely aligned multimodal annotations (e.g., text, speech, music, and trajectory). Leveraging OmniHuMo, we propose AnyMo, a unified multimodal framework combining a Residual FSQ-based motion tokenizer with a scalable masked modeling transformer, enabling high-quality motion synthesis under arbitrary modality combinations. Extensive experiments show that AnyMo achieves high-fidelity synthesis while offering flexible control over both spatial and stylistic attributes.

cs.CV↗
arXiv2026

MS-GPT: Rethinking MS/MS De Novo Structure Elucidation as Spectrum-Induced Posterior Querying of a Molecule-Language Model

Molecular structure elucidation from tandem mass spectra (MS/MS) is a central inverse problem in analytical chemistry. Most existing approaches to MS/MS identification remain tied to reference libraries or predefined candidate sets, whereas de novo methods aim to generate structures directly from spectra. A common de novo route predicts a molecular fingerprint from the spectrum and then decodes structures from it, enabling decoder pretraining on large molecule-only corpora. However, this paradigm creates a training-inference mismatch: the decoder is trained on oracle fingerprints computed from molecules, but at inference it is queried with a noisy spectrum-induced fingerprint posterior that is typically collapsed to a single thresholded fingerprint. We introduce MS-GPT, which recasts fingerprint-mediated de novo elucidation as spectrum-induced posterior querying of a conditional molecule-language model. MS-GPT conditions a molecule-language model on fingerprints and formulas, then converts the spectrum-induced posterior into a band of fingerprint queries near the oracle-fingerprint manifold through active-bit density calibration. Candidates sampled across this band are pooled and ranked by generation frequency and posterior similarity. A lightweight LoRA adapter further mitigates domain-specific posterior bias while preserving the pretrained molecular prior. On NPLIB1 and MassSpecGym, MS-GPT sets a new state of the art, reaching Top-1/Top-10 exact-match accuracy of 17.1%/27.6% and 10.2%/13.2%, respectively, and candidate-pool scaling improves recovery with a near-linear increase in inference cost. The source code and model checkpoints are available at https://github.com/VIKI623/MS-GPT.

cs.LG↗
arXiv2026

Double-Shock Radiation in Supernova Wind Breakout and EP260321a

We study the supernova (SN) shock breakout (SBO) from an optically thick stellar wind. The SN ejecta-wind interaction forms a forward shock (FS) plus reverse shock (RS) structure. The RS's internal energy and shock velocity are both a fraction $μ\lesssim1/6$ of the FS's. The lower RS velocity makes it easier to build up local thermal equilibrium (LTE) and generate blackbody (BB) emission. In the same time a $μ^{-1}\gtrsim6$ times larger non-BB emission may be produced by the likely non-LTE FS. We apply the theory to analyze the recent detected type Ic-BL SN2026gzf associated X-ray flash EP260321a, and find it is naturally accounted for by a SN wind breakout: the $\sim0.13$\,keV, thermal SBO emission can be produced by the RS during the interaction of a typical type Ic-BL SN ejecta ($E_k\sim10^{52}$erg and $M_e\sim1M_\odot$) and a stellar wind with a mass $M_w\sim10^{-4}M_\odot$ confined within a radius $r_w\sim10^{13}$cm; the X-ray rise time is mainly determined by the RS emission time, whereas the long duration and decrease time are due to the scatterings of SBO photons by a distant shell-like medium which has a large photosphere, $r_{ph}\sim10^{14}$\,cm; the early, within 30\,ks, optical emission can be naturally explained by the cooling emission of a shocked pure C/O envelope, since the observed SBO onset is delayed by $\gtrsim$ a few ks due to the large medium photosphere. BB+non-BB components from RS and FS, respectively, may be common in SN wind breakouts. SBO observations can be crucial in the study of progenitor stars by providing information for the ejecta from the SN explosion and the nearby wind from the pre-SN activities.

astro-ph.HE↗
arXiv2026

Look Back, Correct Forward: Error Feedback Calibration for Time Series Forecasting

Time series forecasting models are increasingly deployed in continuously evolving environments. After a forecast is issued, future observations gradually arrive and reveal how the model has failed. Existing methods mainly treat such observations as supervision for parameter updates. However, it remains unclear whether verified forecasting errors can themselves provide causal feedback for correcting future predictions. To address this, we introduce Error Feedback Calibration (EFC), a fully test-time framework for deterministic post-hoc correction of time series forecasting. EFC constructs a Causal Error Diagonal (CED) from revealed errors of overlapping historical forecasts, providing a fresh view of the frozen forecaster's recent failure behavior. Then Cumulative Error Transport (CET) maps this error state to future residuals using cumulative estimation, while temporal out-of-sample validation controls the correction strength. Temporal Residual Learning (TRL) further predicts only the residual structure left after CET from recent CED trajectories, rather than relearning the entire forecasting error. Extensive experiments across forecasting backbones and datasets show that EFC broadly improves forecasting performance while substantially controlling harmful over correction.

cs.AI↗
arXiv2026

Counterexamples to Two Conjectures on Tangles in Matroid Minors

We give counterexamples to two conjectures of Brettell, Jowett, Oxley, Semple, and Whittle concerning tangles in matroid minors. We construct a matroid $P_0$ with a tangle $\mathcal T$ of order seven. For each $i\in\{4,5,6,7\}$, let $\mathcal T_i$ denote its order-$i$ truncation. No proper minor $N$ of $P_0$ admits, for every such $i$, a tangle of order $i$ whose breadth equals that of $\mathcal T_i$, and $P_0$ is not weakly $4$-connected. We also construct a matroid $P_1$ with a tangle of order four and breadth six, but no internally $4$-connected minor of $P_1$ admits a tangle of order four.

math.CO↗
arXiv2026

TransNav: Transformer-Based End-to-End Navigation Method for Static and Dynamic Quadrotor Obstacle Avoidance

Obstacle avoidance for autonomous quadrotors in cluttered environments remains challenging, especially when both dense static obstacles and moving obstacles are present. Existing methods are often tailored to either static or dynamic settings, which always limit their adaptability across diverse environments. This paper presents TransNav, a transformer-based end-to-end navigation method for quadrotor obstacle avoidance in both static and dynamic environments. TransNav employs a patch-based point-cloud encoding scheme that combines local feature extraction with global contextual modeling, enabling compact yet informative environment representation. The method integrates perception and navigation in a single architecture and directly predicts a finite-horizon action sequence, from which the first action is executed. Moreover, we develop an unsupervised learning strategy by incorporating a lightweight point-mass dynamics model, which directly optimizes trajectory-level costs over the predicted sequence through numerical gradient propagation. Thus, the policy can be efficiently trained without expert demonstrations. Simulation and real-world experiments show that the proposed method achieves strong performance in dense static environments and competitive obstacle-avoidance capability in dynamic scenarios, while maintaining low inference cost for onboard deployment.

cs.RO↗
arXiv2026

ReAT: Residual Action Tokenization for Autoregressive Robot Policies

Autoregressive robot policies rely on action tokenizers to convert continuous action chunks into compact sequences of discrete prediction targets. Existing tokenizers can reconstruct action chunks from discrete codes, but often leave implicit what each individual token contributes to the reconstructed action. We introduce Residual Action Tokenization (ReAT), which gives each token an explicit role in refining the current action reconstruction. It uses the decoded reconstruction as feedback to construct the next token from the remaining action error. This closes the loop between encoding and decoding, making each new token responsive to the errors left by the actual decoded prefix. Across 19 manipulation tasks spanning three simulation benchmarks and real-world settings, 8-token ReAT policies outperform the evaluated baselines in task success; on LIBERO, even 4-token ReAT surpasses the evaluated 8-token action-tokenization baselines at half the token budget. These results suggest a path toward action tokenization that supports self-corrective policy learning, helping autoregressive policies learn to progressively refine their own action plans.

cs.RO↗
arXiv2026

ERSkill: Evolving for Skill-Guided Adaptive Memory Retrieval

While Large Language Model (LLM) agents increasingly rely on long-term memory for persistent interactions, the retrieval mechanisms governing this memory are rarely treated as evolvable components. This static approach limits performance on heterogeneous memory queries, which often demand diverse evidence construction strategies. To address this, we introduce \textbf{ERSkill}, a retrieval-centric framework for evolving, skill-guided memory access. ERSkill compiles interaction histories into a structured memory store and represents retrieval behaviors as executable skills composed of fundamental primitives. At inference time, a trained router dynamically matches each query to a suitable retrieval skill to construct tailored evidence for answer generation. ERSkill co-evolves the skill set and the router during training. It employs an experience trie to efficiently record explored retrieval paths, alongside a double-frontier mechanism that separates oracle-side capability expansion from router-validated deployment. Experiments across multiple agent memory benchmarks demonstrate that ERSkill substantially outperforms strong non-evolving and evolving baselines. Notably, it improves the overall average across F1, BLEU-1, and LLM-judge scores by 31.3\% with Qwen3-Next-80B-A3B-Instruct and by 21.4\% with GPT-5.4-nano.

cs.CL↗
arXiv2026

Is Vibe Coding Safe? Benchmarking Vulnerability of Agent-Generated Code in Real-World Tasks

Vibe coding is a new software development paradigm in which human engineers prompt a large language model (LLM) agent to complete complex coding tasks with little supervision. Although vibe coding is increasingly adopted, is the generated code really safe to deploy in production? To investigate this question, we propose SUSVIBES, a benchmark consisting of 186 feature-request software engineering tasks from real-world open-source projects, for which, human programmers committed vulnerable implementations. We evaluate 12 widely used coding agentic settings with frontier models on the benchmark. Disturbingly, all agents perform poorly in terms of software security. Although 57% of the solutions from SWE-Agent with Claude 4 Sonnet are functionally correct, only 11.8% are secure. Further experiments demonstrate that preliminary security strategies, such as augmenting the feature request with vulnerability hints, cannot mitigate these security issues. Our findings raise serious concerns about the widespread adoption of vibe coding, particularly in security-sensitive applications. The code and dataset are available at https://github.com/LeiLiLab/susvibes. The leaderboard is at https://leililab.github.io/susvibes-leaderboard.

cs.SE↗
arXiv2026

Beyond Point-Attached Semantics: Stable Object-Centric Semantic Fields for Robust Manipulation

Robotic manipulation often requires identifying functional parts, such as a mug handle or a hammer head. However, features attached to observed 3D points can vary with viewpoint and sensor noise, giving a policy inconsistent representations of the same part. We propose an object-centric semantic field to provide more consistent part-aware features for manipulation. We use the observed object cloud to build a continuous field, then read features from this field at 3D locations independently resampled from the cloud. Each feature uses the sampled object support as context, rather than directly reusing an individual point descriptor. Part classification distinguishes functional regions, cross-instance alignment brings corresponding part features together, and perturbation consistency encourages similar features under observation changes. The queried coordinates and features form semantic point clouds that are supplied to a DP3-based policy. We evaluate the approach on four RoboTwin simulation tasks and four real-world bimanual tasks, achieving average success rates of 69.3\% and 67.5\%, respectively. These improve on Utonia Point-wise by 7.0 and 32.5 percentage points, respectively, with real-world tests on held-out objects. A point-wise control with matched part supervision scores 63.5\% in simulation, compared with our 69.3\%. These results highlight the value of stable, object-conditioned semantic fields for manipulation across object instances and varying observations. Project Page: \href{https://zainzh.github.io/beyond-point-attached-semantics}{https://zainzh.github.io/beyond-point-attached-semantics}.

cs.RO↗
arXiv2026

Excluding a line from gammoids

For all positive integers $\ell$ and $r$, we prove that a finite simple rank-$r$ gammoid with no $U_{2,\ell+2}$-minor has at most $\ell(r-1)+1$ elements. This gives an affirmative answer to Problem~7.2 of Boretsky and Walsh [European J. Combin.\ 137 (2026), 104419], for both gammoids and transversal matroids. The bound is sharp for every $\ell$ and $r$. The key estimate is that, for every finite simple gammoid $M$, the sum of $|L|-2$ over its long lines is at most $|E(M)|-r(M)$.

math.CO↗
arXiv2026

WholeBodyWAM: Generalizing Pre-trained World-Action Priors to Humanoid Loco-Manipulation via WBC-Grounded Coordination

World Action Models (WAMs) offer a promising approach to general-purpose robot manipulation by jointly modeling visual dynamics and actions. However, most WAM studies focus on tabletop or arm-centric manipulation, while humanoid loco-manipulation remains less explored. To address this gap, we introduce WholeBodyWAM, which jointly predicts future visual dynamics, manipulation actions, and whole-body control intents for generalizable humanoid loco-manipulation. It preserves pre-trained world-action priors while grounding heterogeneous whole-body controller (WBC) semantics and coordinating whole-body behavior. Extensive experiments show that WholeBodyWAM achieves an overall simulation task success rate of 91.9%, with a 0.23 improvement in real-world out-of-distribution task progress and a 70% reduction in success-rate variance across WBCs relative to the respective baselines. These results suggest a path toward scalable humanoid whole-body intelligence by extending pre-trained world-action priors through structured WBC grounding and coordination, rather than relearning whole-body behavior from scratch. Project page: https://wholebodywam.github.io/.

cs.RO↗
arXiv2026

Subtree Counts and the Maximum Mean Subtree Order

For a finite simple graph $G$ of positive order, let $s_k(G)$ be the number of its $k$-vertex tree subgraphs. We prove that, among graphs of a fixed order $n$, the ratios $s_k(G)/s_k(K_n)$ form a nonincreasing sequence in $k$. It follows that the complete graph maximizes the mean subtree order: $μ(G)\leqμ(K_n)$, with equality if and only if $G$ is complete. This monotonicity theorem also establishes the $s_{n-1}$-to-$s_n$ ratio conjecture posed in recent work on extremal mean subtree order. The proof lifts a known coupling of rooted Cayley-tree shapes of consecutive orders to uniform labeled tree subgraphs of $K_n$ that are nested at every sample point. Event inclusion gives the count inequalities, and a double-sum identity gives the mean bound.

math.CO↗
arXiv2026

A Fano framework for binary delta-matroids

Dunshee and Ellingham recently showed that seven natural properties of a cellularly embedded graph form a Fano-plane framework. We establish an analogous framework for binary delta-matroids. For a binary delta-matroid $D$ and $τ$, let $Z_3(D,τ)$ denote its associated binary tight $3$-matroid. The six outer points are represented by evenness or bipartiteness of $D$ and its global vertex-flip transforms. For the seventh point, we call $D$ $Z_3$-bipartite when every circuit of $Z_3(D,τ)$ has even cardinality. We show that the satisfied properties are precisely the nonzero vectors of a subspace of $\Ftwo^3$. For ribbon-graphic delta-matroids, $Z_3$-bipartiteness is equivalent to bipartiteness of the medial graph, so the construction recovers the Fano-plane framework for embedded graphs.

math.CO↗
arXiv2026

Reasoning Without Inference Cost: Latent Semantic Scaffolding for Robot VLA Policies

Vision-language-action (VLA) models are trained by imitation and capture what action to take but not why; adding causal reasoning improves manipulation, but current methods pay for it at inference time - generating reasoning tokens or rolling out predicted future states at every step, a cost that compounds over long horizons. We ask whether this benefit can instead be captured during training and discarded before deployment. We introduce Latent Semantic Scaffolding (LSS), an auxiliary loss applied during human-demonstration pretraining that aligns a VLA's action-token representations to text embeddings of physical-reasoning rationales through a small projection head. The head is dropped at inference, leaving the unmodified base policy with zero added cost. Our central finding concerns alignment granularity: aligning each action token to the rationale of its own manipulation phase (Dense LSS) rather than to a single pooled episode-level embedding (Pooled LSS) yields representations that transfer markedly better to held-out tasks. Dense LSS attains both the best in-distribution success and the best transfer to tasks unseen during alignment, whereas pooled alignment over-specializes to the training task. A representational probe shows Dense LSS induces roughly twice the per-phase separability in the backbone, supporting that phase-local alignment is the operative mechanism.

cs.RO↗