Xiaoyang Liu

XiaoyangLiu-sjtu

·

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

AI & ML interests

AI4Math, Lean

Recent Activity

updated a collection about 1 month ago

updated a collection about 1 month ago

updated a dataset about 1 month ago

XiaoyangLiu-sjtu/VerinaLite

View all activity

Organizations

Collections 3

View 3 collections

models 4

XiaoyangLiu-sjtu/DSR_Formalizer

8B • Updated May 20 • 5 • 1

XiaoyangLiu-sjtu/ATLAS_Translator_D

7B • Updated Sep 27, 2025 • 22

XiaoyangLiu-sjtu/ATLAS_Translator_L

8B • Updated Sep 27, 2025 • 6

XiaoyangLiu-sjtu/ATLAS_Translator_Q

8B • Updated Sep 27, 2025 • 4

datasets 4

XiaoyangLiu-sjtu/VerinaLite

Updated Jul 28 • 697

XiaoyangLiu-sjtu/VerinaPlus

Preview • Updated Jul 28 • 280

XiaoyangLiu-sjtu/DSR_dataset

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

XiaoyangLiu-sjtu/ATLAS_dataset

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