Hugging Face's logo Hugging Face
  • Models
  • Datasets
  • Spaces
  • Buckets new
  • Docs
  • Enterprise
  • Pricing
    • Website
      • Tasks
      • HuggingChat
      • Collections
      • Languages
      • Organizations
    • Community
      • Blog
      • Posts
      • Daily Papers
      • Hardware
      • Learn
      • Discord
      • Forum
      • GitHub
    • Solutions
      • Team & Enterprise
      • Hugging Face PRO
      • Enterprise Support
      • Inference Providers
      • Inference Endpoints
      • Storage Buckets

  • Log In
  • Sign Up
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

XiaoyangLiu-sjtu 's models 4

XiaoyangLiu-sjtu/DSR_Formalizer

8B • Updated May 20 • 9 • 1

XiaoyangLiu-sjtu/ATLAS_Translator_D

7B • Updated Sep 27, 2025 • 10

XiaoyangLiu-sjtu/ATLAS_Translator_L

8B • Updated Sep 27, 2025 • 4

XiaoyangLiu-sjtu/ATLAS_Translator_Q

8B • Updated Sep 27, 2025 • 11
Company
TOS Privacy About Careers
Website
Models Datasets Spaces Pricing Docs