Inuyasha

Inuyasha2023ch's activity

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

liked a model about 1 year ago

SJTULean/LeanFormalizer_PPO

8B • Updated Dec 25, 2024 • 1 • 1

liked 2 datasets about 1 year ago

SJTULean/LeanStatement_CoT

Viewer • Updated Dec 25, 2024 • 142k • 6 • 2

SJTULean/LeanStatement_RL

Viewer • Updated Dec 25, 2024 • 5.76M • 2 • 1

liked a model about 1 year ago

SJTULean/LeanFormalizer_SFT

8B • Updated Dec 25, 2024 • 5 • 2

liked a dataset about 1 year ago

SJTULean/LeanStatement_SFT

Viewer • Updated Dec 25, 2024 • 1.96M • 17 • 2

liked a dataset over 1 year ago

GAIR/MathPile

Preview • Updated Apr 3, 2025 • 567 • 193