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

Collections 2

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

datasets 2

XiaoyangLiu-sjtu/DSR_dataset

Viewer • Updated May 20 • 121k • 11 • 1

XiaoyangLiu-sjtu/ATLAS_dataset

Viewer • Updated Sep 26, 2025 • 234k • 7