Hugging Face's logo
Xiaoyang Liu's picture

Xiaoyang Liu

XiaoyangLiu-sjtu
·
https://xiaoyangliu-sjtu.github.io/

AI & ML interests

AI4Math, Lean

Organizations

Shanghai Jiao Tong University's profile picture SJTULean's profile picture