2 citations · 3 across the 12 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…
How Should World Models Be Evaluated for Embodied Decision-Making? A Decision-Making-Centric Position
Yang Yu, Shiyuan Zhang, Yifei Sheng +2
World models have become a central abstraction in modern AI. The term now refers to several different objects: action-conditioned environment models, latent imagination models, fut…
Self-Distilled Policy Gradient
Yifeng Liu, Shiyuan Zhang, Yifan Zhang +1
On-policy self-distillation, where a language model conditions on privileged context to supervise its own generations, is a promising source of dense supervision for sparse-reward…
U-MASK: User-adaptive Spatio-Temporal Masking for Personalized Mobile AI Applications
Shiyuan Zhang, Yilai Liu, Yuwei Du +3
Personalized mobile artificial intelligence applications are widely deployed, yet they are expected to infer user behavior from sparse and irregular histories under a continuously…