2 citations · 3 across the 12 of their papers we have counts for
12 papers
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…
Exploring Training Data Attribution under Limited Access Constraints
Shiyuan Zhang, Junwei Deng, Juhan Bae +1
Training data attribution (TDA) plays a critical role in understanding the influence of individual training data points on model predictions. Gradient-based TDA methods, popularize…
Balancing Signal and Variance: Adaptive Offline RL Post-Training for VLA Flow Models
Hongyin Zhang, Shiyuan Zhang, Junxi Jin +4
Vision-Language-Action (VLA) models based on flow matching have shown excellent performance in general-purpose robotic manipulation tasks. However, the action accuracy of these mod…
EAR: Erasing Concepts from Unified Autoregressive Models
Haipeng Fan, Shiyuan Zhang, Baohunesitu +2
Autoregressive (AR) models have achieved unified and strong performance across both visual understanding and image generation tasks. However, removing undesired concepts from AR mo…
TimeCausality: Evaluating the Causal Ability in Time Dimension for Vision Language Models
Zeqing Wang, Shiyuan Zhang, Chengpei Tang +1
Reasoning about temporal causality, particularly irreversible transformations of objects governed by real-world knowledge (e.g., fruit decay and human aging), is a fundamental aspe…
Taming Hyperparameter Sensitivity in Data Attribution: Practical Selection Without Costly Retraining
Weiyi Wang, Junwei Deng, Yuzheng Hu +5
Data attribution methods, which quantify the influence of individual training data points on a machine learning model, have gained increasing popularity in data-centric application…
Energy-Weighted Flow Matching for Offline Reinforcement Learning
Shiyuan Zhang, Weitong Zhang, Quanquan Gu
This paper investigates energy guidance in generative modeling, where the target distribution is defined as , with $…
: A Library for Efficient Data Attribution
Junwei Deng, Ting-Wei Li, Shiyuan Zhang +7
Data attribution methods aim to quantify the influence of individual training samples on the prediction of artificial intelligence (AI) models. As training data plays an increasing…
Computational Copyright: Towards A Royalty Model for Music Generative AI
Junwei Deng, Xirui Jiang, Shiyuan Zhang +5
The rapid rise of generative AI has intensified copyright and economic tensions in creative industries, particularly in music. Current approaches addressing this challenge often fo…