ScalableMath/Lean-CoT-base
Feature Extraction
•
Updated
•
14
Lean-STaR
-
-
ScalableMath/Lean-STaR-base
Feature Extraction • Updated • 16 -
ScalableMath/Lean-CoT-plus
Feature Extraction • Updated • 14 -
ScalableMath/Lean-STaR-plus
Feature Extraction • Updated • 21 • 3 -
ScalableMath/Lean-CoT-base
Viewer • Updated • 52.4k • 11 • 3 -
ScalableMath/Lean-STaR-base
Viewer • Updated • 84.7k • 12 • 2 -
ScalableMath/Lean-CoT-plus
Viewer • Updated • 130k • 7 • 3 -
ScalableMath/Lean-STaR-plus
Viewer • Updated • 61.1k • 10 • 3