From the 1 of 11 linked papers with an AI index.
11 papers
Efficient Test-Time Optimization for Multi-Agent Proof Autoformalization
Tian-Shuo Liu, Shiyuan Zhang, Zijie Geng +5
The paper introduces ToMap, a multi‑agent system that treats proof autoformalization as a Decomposer‑Formalizer‑Prover pipeline and concentrates test‑time optimization on improving…
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…
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…
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…