Tao Luo

ASSESS: A Semantic and Structural Evaluation Framework for Statement Similarity

Modeling Training Dynamics and Error Estimates of DNN-based PDE Solvers: A Continuous Framework

Convergence Guarantees for Gradient-Based Training of Neural PDE Solvers: From Linear to Nonlinear PDEs

A Unified Objective for On-Policy Reinforcement Learning in Stationary and Non-Stationary Environments

From Condensation to Rank Collapse: A Two-Stage Analysis of Transformer Training Dynamics

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

Embedding Principle of Homogeneous Neural Network for Classification Problem

Uncovering Critical Sets of Deep Neural Networks via Sample-Independent Critical Lifting