Inuyasha

Inuyasha2023ch's activity

• All
• Models
• Datasets
• Spaces
• Papers
• Collections
• Community
• Posts
• Upvotes
• Likes

liked a model 18 days ago

SJTULean/LeanFormalizer_PPO

Updated 18 days ago • 23 • 1

liked 2 datasets 18 days ago

SJTULean/LeanStatement_CoT

Viewer • Updated 18 days ago • 142k • 28 • 1

SJTULean/LeanStatement_RL

Viewer • Updated 18 days ago • 5.76M • 23 • 1

liked a model 18 days ago

SJTULean/LeanFormalizer_SFT

Updated 18 days ago • 29 • 1

liked a dataset 18 days ago

SJTULean/LeanStatement_SFT

Viewer • Updated 18 days ago • 1.96M • 33 • 1

liked a dataset 2 months ago

GAIR/MathPile

Preview • Updated Jun 13, 2024 • 216 • 183