Xinze Wu
wxz123
·
AI & ML interests
None yet
Recent Activity
updated
a model
about 2 months ago
SJTULean/LeanFormalizer_SFT
updated
a model
about 2 months ago
SJTULean/LeanFormalizer_CoT
updated
a Space
about 2 months ago
SJTULean/README
Organizations
models
None public yet
datasets
None public yet