Yu Chen

4 papers Shanghai Jiaotong University

• ATLAS: Autoformalizing Theorems through Lifting, Augmentation, and Synthesis of Data
• Confidence-Aware With Prototype Alignment for Partial Multi-label Learning
• Deep Gaussian from Motion: Exploring 3D Geometric Foundation Models for Gaussian Splatting
• FlowPrune: Accelerating Attention Flow Calculation by Pruning Flow Network