Xiaoyang Liu's picture

Xiaoyang Liu

XiaoyangLiu-sjtu

·

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

AI & ML interests

AI4Math, Lean

Organizations

XiaoyangLiu-sjtu 's models 3

XiaoyangLiu-sjtu/ATLAS_Translator_D

7B • Updated Sep 27 • 10

XiaoyangLiu-sjtu/ATLAS_Translator_L

8B • Updated Sep 27 • 11

XiaoyangLiu-sjtu/ATLAS_Translator_Q

8B • Updated Sep 27 • 25