Searcharxiv⌕ Search

arXiv subjects

Mengfei Zhao

Publications and source records attributed to Mengfei Zhao.

16 recordsLinked to original sources

ODE Policy: Robot Learning via Action Dynamics, Not Actions

Most robot policies, whether trained by imitation learning (IL) or reinforcement learning (RL), map observations to action values at discrete control steps and leave the continuity of physical motion to be learned implicitly. We propose ODE policy, which learns the dynamics of the action rather than the action itself. A neural ordinary differential equation (ODE) learns the vector field of the action by matching the integrated actions to the targets over short action chunks in IL and single control steps in RL. A lightweight diversity head captures multi-modal behavior by randomizing the direction of the field. At deployment, each action is integrated from the previous one, so the executed trajectory is continuous by construction. We evaluate it as a visuomotor policy, as the action head of vision-language-action (VLA) and world action models (WAMs), and as the actor of model-based RL against 14 baselines on unimanual, bimanual, dexterous, locomotion, and loco-manipulation tasks. In IL, against flow matching, it reaches 5.9$\times$ the success, 5.4$\times$ the generalization, and 3.9$\times$ the mode balance after one epoch, and generates actions 10.8$\times$ faster. It mostly moves more smoothly than human demonstrations. On 14 real-world tasks across single-arm, dual-arm, dexterous, and humanoid robots, it achieves the highest success rate. In RL, it further speeds up SuperMimic for humanoid motion tracking and smooths its actions. Efficient in learning, data, parameters, and execution, ODE policy offers a promising path to scaling robot learning.

cs.RO↗

Hopficity of braided and labeled Thompson groups

We prove that the braided Thompson groups $BV$ and $BF$ are Hopfian, answering the two parts of Zaremsky's question. We also prove that, for every discrete group $G$, the labeled Thompson group $V(G)$ is Hopfian if and only if $G$ is Hopfian, proving a conjecture of Wu--Wu--Zhao--Zhou. The second result allows us to prove a new embedding result for Hopfian groups: every Hopfian group of type $F_n$ embeds quasi-isometrically as a subgroup of a Hopfian, boundedly acyclic, acyclic group of type $F_n$ that has no proper finite-index subgroups.

math.GR↗

What Matters in Quality-Aware VLA Pretraining: A Benchmark and Empirical Study

How should demonstration quality be used during vision-language-action (VLA) pretraining to improve performance after target-task fine-tuning? We compare weighting, filtering, and conditioning across reward definitions and label granularities using 5,000 naturally suboptimal human demonstrations and 24 target tasks. Within each VLA, we match demonstrations and training budgets. Additional comparisons examine pretraining data size and the roles of quality tags during fine-tuning and inference. Across three VLAs, we find that approach-aware episode conditioning improves mean success over plain behavioral cloning; conditioning and filtering favor episode and chunk labels, respectively, on average, with model-dependent reversals; and constant-tag fine-tuning improves mean success after conditioned pretraining with either tagged or untagged inference. We introduce AXIS-Bench to support these controlled comparisons. Built on crowdsourced simulation demonstrations, it provides recorded object and contact states for recomputing quality labels on shared trajectories. Replayable trajectories support workspace-aligned rendering and user-defined real-world target tasks. In our real-world experiment, simulation pretraining raises success from 9.6\% to 31.7\%. Project page: https://axis-bench.github.io/.

cs.RO↗

$Δ$ Flow Matching for Robot Foundation Models

Flow matching is a common generative recipe for robot foundation models. Vision-language-action models (VLAs) generate action chunks, while world-action models (WAMs) additionally generate future visual states. Both start generation from a fixed Gaussian prior, despite temporal continuity between past and future states and actions. This requires costly training and iterative sampling, especially for WAMs with an additional visual branch. We introduce $Δ$-flow, which constructs the source from recent history with mild noise rather than from a fixed Gaussian prior. This moves the source closer to the target, reducing transport to a small residual $Δ$ that can be learned efficiently and enables single-step inference. We integrate $Δ$-flow into the VLA policy $π_{0.5}$ and the WAM policies ImageWAM and Fast-WAM. On LIBERO, ImageWAM reaches 90% success in one epoch rather than six, and Fast-WAM reaches 95% in two epochs rather than eight. With LoRA fine-tuning, $π_{0.5}$ exceeds its baseline's five-epoch performance after one epoch. Single-step inference gives $1.54\times$, $2.49\times$, and $4.45\times$ speedups on $π_{0.5}$, ImageWAM, and Fast-WAM, respectively. It preserves action smoothness, achieving a $4.5\times$ reduction in action jerk compared with one-step Gaussian sampling. $Δ$-flow reaches state-of-the-art generalization performance on LIBERO-Plus. Action-history sources can be applied to pretrained WAM policies without retraining. Replacing the Gaussian action source at inference largely preserves task success with a single sampling step and can slightly improve it. We further study how action representation and visual information in action learning affect history-to-future prediction in $Δ$-flow. These results show that $Δ$-flow is simple yet effective, improving the efficiency and generalization of robot foundation models.

cs.RO↗

TUCO: Curating Simulation Demonstrations for Sim-to-Real Robot Policy Co-Training

Simulation demonstrations can supplement scarce real-world data for robot policy co-training. However, the value of using data curation to actively select these demonstrations for sim-to-real co-training remains underexplored. Existing curation methods also lack a unified criterion for measuring trajectory-level utility and set-level coverage from closed-loop target behavior. To address these gaps, we present the first systematic study of data curation for sim-to-real robot policy co-training and propose Trajectory-level Utility and set-level Coverage Optimization (TUCO). TUCO uses influence functions to trace how each source demonstration affects target-domain scoring rollouts. Our key insight is that these effects can be decomposed into an overall contribution to target return and variation across rollouts, providing a common closed-loop basis for measuring trajectory utility and set coverage. We further propose a performance-aligned subset optimizer that combines these measures in a unified curation objective to reduce redundancy and select complementary demonstrations. Extensive experiments on RoboMimic and OmniReset establish the value of active simulation data curation for sim-to-real policy co-training and show that TUCO achieves state-of-the-art performance across single-simulator, sim-to-sim, and sim-to-real settings.

cs.RO↗

Rectify Then Diffuse: Disentangling Concepts Before Denoising Trajectory Unfolds

Text-to-image diffusion models can generate individual concepts well, but they often omit or merge concepts incorrectly with multiple concepts. We trace these failures to an early coordination bottleneck: before denoising begins, prompt-conditioned attention may allocate different concepts to strongly overlapping spatial support, which can keep their attention coupled as denoising proceeds. This observation motivates treating compositional generation as a boundary-condition problem rather than repeatedly controlling the evolving trajectory. To this end, we propose Rectify-then-Diffuse (RTD), a training-free framework that rectifies the initial allocation once before standard denoising. Firstly, we propose Soft-Overlap Disentanglement (SOD), which converts normalized overlap between pilot concept maps into a differentiable and layout-agnostic separation objective. Secondly, we introduce Isotropic Gradient Rectification (IGR), which normalizes the SOD gradient and applies a bounded latent displacement with a consistent scale across prompts and initializations. Extensive experiments show that RTD achieves state-of-the-art compositional fidelity and robust gains. On the AE-Bench object pair subset, RTD improves BLIP-VQA by 45.8% and ImageReward by 19.6% over CO3 while running 2.3$\times$ faster. Code will be released at https://github.com/Z-yiwei/rectify-then-diffuse

cs.CV↗

One Knob to Rule Them All: A Unified Optimal Transport View of Cold-Start Active Learning

Cold-Start Active Learning (CSAL) aims to select a valuable subset from an unlabeled pool without any prior knowledge or human assistance. Existing methods take diverse routes based on typicality, coverage, or diversity. Each rests on its own inductive bias and therefore performs well on some tasks yet poorly on others. We argue that the real challenge is not to design yet another selection heuristic, but to make CSAL adapt automatically to the data and task at hand. To this end, we revisit CSAL through the lens of optimal transport. First, we propose a generalized transport selection framework that reveals the shared allocation structure of existing methods and exactly subsumes representative formulations. Second, we introduce a theoretical analysis that characterizes the trade-off controlled by entropic regularization and establishes a task-agnostic minimax bound for cold-start selection. These results provide a principled foundation for adapting the regularization strength to the unlabeled data. Third, we derive a data-adaptive regularization rule and present a novel Sinkhorn-based CSAL algorithm, termed $ε$-Adaptive Selection ($ε$-AS). Extensive experiments on six public datasets and multiple annotation budgets show that $ε$-AS consistently achieves state-of-the-art performance. On ImageNet-1k, it improves the average accuracy over ActiveFT by 1.29% while reducing selection time by 56.2%. Code will be released at https://github.com/Z-yiwei/OT-CSAL

cs.AI↗

AXIS: A Growable Community-Driven Data Engine for Scalable Robot Manipulation

Learning effective robot manipulation policies requires diverse, high-quality demonstrations, yet existing data pipelines are often difficult to scale because they rely on specialized hardware, centralized operators, or fixed task suites. We present AXIS, a growable community-driven data engine and benchmark for scalable robot learning, which enables browser-based teleoperation for large-scale demonstration collection, automatically generates and validates new manipulation tasks, and transforms community-collected demonstrations into training-ready data through automated success checking, quality filtering, trajectory smoothing, and visual and physics-based augmentation. The AXIS dataset currently contains 207 diverse tasks and 50K+ trajectories. Meanwhile, AXIS organizes data into task snapshots and evaluates policies with a systematic held-out protocol. We compare vision-language-action (VLA) policies under a unified AXIS evaluation suite and analyze scaling behavior across different data volumes. Continual pretraining on AXIS substantially improves the overall success rate of $π_{0.5}$ by 5.8%, outperforms the model pretrained on RoboCasa365 by 37.3%, and exhibits consistent scaling with increasing data volume, with the largest gains observed under layout, sensor-noise, and camera perturbations.

cs.RO↗

Study on the Cabibbo-favored ${\overline B}_{d,s}$ ${\to}$ $D_{d,s}^{(*)+}S^{-}$ weak decays in QCD factorization

Motivated by recent experimental progress and theoretical developments, we investigate the Cabibbo-favored $b\to c$ governed ${\overline B}_{d,s}$ ${\to}$ $D_{d,s}^{(*)+}S^{-}$~($S$$=$$K_0^*(1430)$, $a_0(1450)$) weak decays by considering the next-to-leading (NLO) contributions within QCDF framework. With the updated values of $B_{(s)}\to D_{(s)}^{(*)}$ transition form factors obtained from a covariant light-front quark model, branching ratios are estimated in two scenarios for scalar mesons. It is found that the branching ratios for ${\overline B}^0{\to}D^{+}{a_0^-}$ and ${\overline B}_{s}^0{\to}D_{s}^{+}{a_0^-}$ decays can reach up to the order of ${\cal O}(10^{-4})$ in scenario-2 by assuming that the scalar mesons are lowest-lying p-wave states, which deserve high-priority experimental searches and may be observed in the ongoing LHCb and SuperKEKB experiments.

hep-ph↗

APEX: Adaptive Policy Execution for Precise Manipulation

Modern imitation learning methods, including visuomotor and Vision-Language-Action (VLA) policies, typically output high-level action references that are executed by low-level controllers. However, the absence of higher-order reference signals, together with the policy's lack of awareness of the underlying low-level control dynamics during training, inevitably induces an execution gap. As a result, realized actions deviate systematically from policy-commanded ones, with a critical impact on precision-sensitive manipulation. Prior work either modifies the policy architecture or the low-level controller, both requiring intrusive changes to the pretrained policy or packaged controller. This raises a natural question: when the policy and controller are both treated as inaccessible black boxes, can we bridge the execution gap? We propose Adaptive Policy Execution (APEX), a plug-and-play framework inserted between the policy and the controller that reconstructs a dynamically feasible reference from policy outputs and adapts at test-time according to low-level state feedback, with a provable convergence guarantee. Extensive empirical studies show that APEX reduces controller-induced tracking error by 41.2% on demonstration replay and improves manipulation success by 4.8--25.8 percentage points across four visuomotor and VLA policy classes.

cs.RO↗

Ample groupoids that are neither almost finite nor purely infinite

We study a question of Matui and varations of it on minimal ample groupoids that are neither almost finite nor purely infinite. We first observe that there are already effective minimal ample transformation groupoids that are neither almost finite nor purely infinite. These groupoids can even be chosen to be amenable. Then we construct essentially principle ample groupoids that are neither almost finite nor purely infinite. These are based on the recent twisted topological groupoid construction of Palmer and Wu. In particular our new examples do not arise from transformation groupoids.

math.DS↗

Embedding groups into boundedly acyclic groups

We show that the \sϕ-labeled Thompson groups and the twisted Brin--Thompson groups are boundedly acyclic. This allows us to prove several new embedding results for groups. First, every group of type $F_n$ embeds quasi-isometrically into a boundedly acyclic group of type $F_n$ that has no proper finite index subgroups. This improves a result of Bridson and a theorem of Fournier-Facio--Löh--Moraschini. Second, every group of type $F_n$ embeds quasi-isometrically into a $5$-uniformly perfect group of type $F_n$. Third, using Belk--Zaremsky's construction of twisted Brin--Thompson groups, we show that every finitely generated group embeds quasi-isometrically into a finitely generated boundedly acyclic simple group. We also partially answer some questions of Brothier and Tanushevski regarding the finiteness property of $ϕ$-labeled Thompson group $V_ϕ(G)$ and $F_ϕ(G)$.

math.GR↗

TensorNEAT: A GPU-accelerated Library for NeuroEvolution of Augmenting Topologies

The NeuroEvolution of Augmenting Topologies (NEAT) algorithm has received considerable recognition in the field of neuroevolution. Its effectiveness is derived from initiating with simple networks and incrementally evolving both their topologies and weights. Although its capability across various challenges is evident, the algorithm's computational efficiency remains an impediment, limiting its scalability potential. To address these limitations, this paper introduces TensorNEAT, a GPU-accelerated library that applies tensorization to the NEAT algorithm. Tensorization reformulates NEAT's diverse network topologies and operations into uniformly shaped tensors, enabling efficient parallel execution across entire populations. TensorNEAT is built upon JAX, leveraging automatic function vectorization and hardware acceleration to significantly enhance computational efficiency. In addition to NEAT, the library supports variants such as CPPN and HyperNEAT, and integrates with benchmark environments like Gym, Brax, and gymnax. Experimental evaluations across various robotic control environments in Brax demonstrate that TensorNEAT delivers up to 500x speedups compared to existing implementations, such as NEAT-Python. The source code for TensorNEAT is publicly available at: https://github.com/EMI-Group/tensorneat.

cs.NE↗

Tensorized NeuroEvolution of Augmenting Topologies for GPU Acceleration

The NeuroEvolution of Augmenting Topologies (NEAT) algorithm has received considerable recognition in the field of neuroevolution. Its effectiveness is derived from initiating with simple networks and incrementally evolving both their topologies and weights. Although its capability across various challenges is evident, the algorithm's computational efficiency remains an impediment, limiting its scalability potential. In response, this paper introduces a tensorization method for the NEAT algorithm, enabling the transformation of its diverse network topologies and associated operations into uniformly shaped tensors for computation. This advancement facilitates the execution of the NEAT algorithm in a parallelized manner across the entire population. Furthermore, we develop TensorNEAT, a library that implements the tensorized NEAT algorithm and its variants, such as CPPN and HyperNEAT. Building upon JAX, TensorNEAT promotes efficient parallel computations via automated function vectorization and hardware acceleration. Moreover, the TensorNEAT library supports various benchmark environments including Gym, Brax, and gymnax. Through evaluations across a spectrum of robotics control environments in Brax, TensorNEAT achieves up to 500x speedups compared to the existing implementations such as NEAT-Python. Source codes are available at: https://github.com/EMI-Group/tensorneat.

cs.NE↗

Study of the nonleptonic charmless $B$ ${\to}$ $SS$ decays with the QCD factorization approach

Inspired by the brilliant prospects of the ongoing $B$ meson experiments, the hadronic charmless $B$ ${\to}$ $SS$ decays are studied by considering the next-to-leading (NLO) contributions with the QCD factorization approach, where $S$ denotes the scalar mesons $K_{0}^{\ast}(1430)$ and $a_{0}(1450)$. Branching ratios and $CP$ violating asymmetries are estimated with the updated values of hadronic parameters obtained from a covariant light-front quark model, for two scenarios where the scalar mesons are the $1^{3}P_{0}$ and $2^{3}P_{0}$ states. It is found that the NLO contributions are very important for the $B$ ${\to}$ $SS$ decays; For the $B$ ${\to}$ $a_{0}(1450)K_{0}^{\ast}(1430)$ and $B_{s}$ ${\to}$ $K_{0}^{\ast}(1430)\overline{K}_{0}^{\ast}(1430)$ decays, branching ratios can reach up to the order of ${\cal O}(10^{-5})$ by assuming that the scalar mesons are the $1P$ states, and should first be investigated in the future experiments.

hep-ph↗

Study of $ B_{u,d,s} \to K_0^*(1430) P $ and $K_0^*(1430) V$ decays within QCD factorization

We study the nonleptonic charmless $B_{u,d,s} \to K_0^*(1430)P$ $(P=K\,, π)$ and $ K_0^*(1430)V$ $ (V=K^*\,, ρ\,, ω\,, ϕ)$ decays. The amplitudes are calculated within the QCD factorization, and the non-perturbative quantities are evaluated by using a covariant light-front approach. The branching fractions and CP asymmetries of theses decay modes are calculated, some decay modes are first predicted, and some useful relations based on $SU(3)$ flavor symmetry are discussed. Comparing the theoretical results with the current available experimental data, it is found that $K_0^*(1430)$ can be described as the lowest-lying p-wave $(s,u/d)$ state rather than the first excited one.

hep-ph↗