Xiaoyang Liu

XiaoyangLiu-sjtu

·

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

AI & ML interests

AI4Math, Lean

Recent Activity

updated a collection about 2 months ago

updated a dataset about 2 months ago

XiaoyangLiu-sjtu/DSR_dataset

published a dataset about 2 months ago

XiaoyangLiu-sjtu/DSR_dataset

View all activity

Organizations

XiaoyangLiu-sjtu 's models 4

XiaoyangLiu-sjtu/DSR_Formalizer

8B • Updated May 20 • 4 • 1

XiaoyangLiu-sjtu/ATLAS_Translator_D

7B • Updated Sep 27, 2025 • 1

XiaoyangLiu-sjtu/ATLAS_Translator_L

8B • Updated Sep 27, 2025 • 1

XiaoyangLiu-sjtu/ATLAS_Translator_Q

8B • Updated Sep 27, 2025 • 1