Yuxuan-Sun

HaverfordCollege 23' math&cs | HFI 19' math: algebra, representation theory cs: theorem proving, machine learning

Pinned Repositories

Yuxuan-Sun's Repositories