Hugging Face's logo
Inuyasha's picture
6

Inuyasha

Inuyasha2023ch
WhiteGiverPlus's profile picture
·
https://github.com/InuyashaYang

AI & ML interests

None yet

Recent Activity

updated a model 18 days ago
SJTULean/LeanFormalizer_SFT
updated a model 18 days ago
SJTULean/LeanFormalizer_PPO
updated a model 18 days ago
SJTULean/LeanFormalizer_CoT
View all activity

Organizations

JoiningAI_DataSynthetic's profile picture SJTULean's profile picture

models

None public yet