Skip to content

Author

Lei Yuan

Nanjing University

We have 5 of 71 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

#machine learning Preprint Sep 2026

Prioritized Rollouts for Efficient World Model-based Vision-Language-Action Policy Optimization

Vision-Language-Action (VLA) models have emerged as a powerful paradigm for embodied intelligence, but fine-tuning them with reinforcement learning (RL) remains constrained by the cost of real-world robot interaction. Model-based reinforcement learning (MBRL) reduces this cost by using a learned world model to generate...

Yi-Fei Sheng, Hao-Xiang Ren, Zhilong Zhang et al. · 0 citations
Preprint Aug 2026

CoCoBench: A Cooperative Coordination Benchmark for Embodied Multi-Agent Task Planning

CoBench is introduced, a construct-level benchmark for evaluating multi-agent embodied coordination in executable household tasks and shows that coordination ability is highly construct-specific: strong overall performance does not imply balanced competence across different coordination types.

Yang Chen, Ye-Xin Xie, Li-Rong Che et al. · 0 citations
Preprint Aug 2026

GigaBrain-0.7: Scaling Embodied Foundation Models to Emergent Capabilities with a Three-System Architecture

This work presents GigaBrain-0.7, an embodied foundation model with substantially improved generalization across diverse robot embodiments, and introduces one-stage alignment training that jointly optimizes vision-language understanding and multi-embodiment action generation.

GigaBrain Team, An-Gen Ye, Axiang Sun et al. · 7 citations · ⚡1
2025

Multi-Agent Imitation by Learning and Sampling from Factorized Soft Q-Function

This work proposes MAFIS, a novel method that addresses limitations for both online and offline MAIL settings by building upon the single-agent IQ-Learn framework and introducing the value decomposition network to factorize the imitation objective at agent level, thus enabling scalable training for multi-agent systems.

Yichen Li, Zhongxiang Ling, Tao Jiang et al. · 3 citations
Preprint Jul 2026

Efficient Test-Time Optimization for Multi-Agent Proof Autoformalization

ToMap is introduced, a multi-agent framework that structures proof autoformalization as a Decomposer-Formalizer-Prover pipeline with efficient test-time optimization guided by formal verification and semantic rubrics for proof quality.

Tian-Shuo Liu, Shiyuan Zhang, Zijie Geng et al. · 2 citations · ⚡1

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.