Hugging Face
Models
Datasets
Spaces
Posts
Docs
Solutions
Pricing
Log In
Sign Up
ScalableMath
's Collections
Easy-to-Hard Generalization Models
Lean-STaR
Lean-STaR
updated
Jul 13
Upvote
1
ScalableMath/Lean-CoT-base
Feature Extraction
•
Updated
Jul 12
•
1
ScalableMath/Lean-STaR-base
Feature Extraction
•
Updated
Jul 12
•
2
ScalableMath/Lean-CoT-plus
Feature Extraction
•
Updated
Jul 12
•
3
ScalableMath/Lean-STaR-plus
Feature Extraction
•
Updated
Jul 14
•
7
•
2
ScalableMath/Lean-CoT-base
Viewer
•
Updated
May 7
•
52.4k
•
19
•
2
ScalableMath/Lean-STaR-base
Viewer
•
Updated
Jul 12
•
84.7k
•
8
•
2
ScalableMath/Lean-CoT-plus
Viewer
•
Updated
Jul 12
•
130k
•
16
•
2
ScalableMath/Lean-STaR-plus
Viewer
•
Updated
Jul 14
•
61.1k
•
18
•
3
Upvote
1
Share collection
View history
Collection guide
Browse collections