Xiaoyang Liu

3

Papers

16

Total Citations

Papers (3)

ATLAS: Autoformalizing Theorems through Lifting, Augmentation, and Synthesis of Data

NeurIPS 2025arXiv

Interacted Object Grounding in Spatio-Temporal Human-Object Interactions

Layer- and Timestep-Adaptive Differentiable Token Compression Ratios for Efficient Diffusion Transformers