7 citations · 11 across the 10 of their papers we have counts for
4 papers · 1 filter
Efficient Test-Time Optimization for Multi-Agent Proof Autoformalization
Tian-Shuo Liu, Shiyuan Zhang, Zijie Geng +5
Full-proof autoformalization bridges extensive mathematical proofs in natural language with formally validated reasoning, offering a pathway to elevate the ceiling of verifiable ma…
Offline Multi-agent Continual Cooperation via Skill Partition and Reuse
Yuchen Xiao, Lei Yuan, Ruiqi Xue +2
Extracting skills from multi-agent offline dataset improves learning efficiency via sharing task-invariant coordination skills among tasks. In settings where tasks occur sequential…
Multi-agent Embodied AI: Advances and Future Directions
Zhaohan Feng, Ruiqi Xue, Lei Yuan +7
Embodied artificial intelligence (Embodied AI) plays a pivotal role in the application of advanced technologies in the intelligent era, where AI systems are integrated with physica…
Multi-Agent Policy Transfer via Task Relationship Modeling
Rongjun Qin, Feng Chen, Tonghan Wang +5
Team adaptation to new cooperative tasks is a hallmark of human intelligence, which has yet to be fully realized in learning agents. Previous work on multi-agent transfer learning…