Latest review note
Added verified homepage, GitHub, and avatar; filled a short English bio from the public homepage and GitHub profile.
Atlas / People / Detail
PhD student at Tsinghua University working on formal theorem proving, machine learning, formal methods, and programming languages.
Profile status: updated
Added verified homepage, GitHub, and avatar; filled a short English bio from the public homepage and GitHub profile.