ScalableMath/Lean-CoT-base
Feature Extraction
•
Updated
•
5
Lean-STaR
-
-
ScalableMath/Lean-STaR-base
Feature Extraction • Updated • 3 -
ScalableMath/Lean-CoT-plus
Feature Extraction • Updated • 3 -
ScalableMath/Lean-STaR-plus
Feature Extraction • Updated • 51 • 2 -
ScalableMath/Lean-CoT-base
Viewer • Updated • 52.4k • 15 • 4 -
ScalableMath/Lean-STaR-base
Viewer • Updated • 84.7k • 19 • 2 -
ScalableMath/Lean-CoT-plus
Viewer • Updated • 130k • 16 • 3 -
ScalableMath/Lean-STaR-plus
Viewer • Updated • 61.1k • 27 • 3