Tao Luo

4 papers Shanghai Jiao Tong University

• ATLAS: Autoformalizing Theorems through Lifting, Augmentation, and Synthesis of Data
• Embedding Principle of Homogeneous Neural Network for Classification Problem
• From Condensation to Rank Collapse: A Two-Stage Analysis of Transformer Training Dynamics
• From Condensation to Rank Collapse: A Two-Stage Analysis of Transformer Training Dynamics