ScalableMath/Lean-CoT-base
Feature Extraction • 8B • Updated • 8
Lean-STaR
-
-
ScalableMath/Lean-STaR-base
Feature Extraction • 8B • Updated • 13 -
ScalableMath/Lean-CoT-plus
Feature Extraction • 8B • Updated • 13 -
ScalableMath/Lean-STaR-plus
Feature Extraction • 8B • Updated • 19 • 2 -
ScalableMath/Lean-CoT-base
Viewer • Updated • 52.4k • 47 • 4 -
ScalableMath/Lean-STaR-base
Viewer • Updated • 84.7k • 123 • 3 -
ScalableMath/Lean-CoT-plus
Viewer • Updated • 130k • 124 • 4 -
ScalableMath/Lean-STaR-plus
Viewer • Updated • 61.1k • 164 • 2