ScalableMath

Activity Feed Request to join this org

AI & ML interests

None defined yet.

Recent Activity

wellecks authored a paper 20 days ago

Evaluating Language Models as Synthetic Data Generators

zhiqings authored a paper 2 months ago

An Empirical Analysis of Compute-Optimal Inference for Problem-Solving with Language Models

zhiqings authored a paper 2 months ago

Lean-STaR: Learning to Interleave Thinking and Proving

View all activity

Collections 2

models 10

ScalableMath/Lean-STaR-plus

Feature Extraction • Updated Jul 14 • 7 • 2

ScalableMath/Lean-STaR-base

Feature Extraction • Updated Jul 12 • 3

ScalableMath/Lean-CoT-base

Feature Extraction • Updated Jul 12 • 4

ScalableMath/Lean-CoT-plus

Feature Extraction • Updated Jul 12 • 3

ScalableMath/llemma-7b-oprm-prm800k-level-1to3-hf

Text Generation • Updated Mar 1 • 111 • 4

ScalableMath/llemma-7b-orm-prm800k-level-1to3-hf

Text Generation • Updated Mar 1 • 34 • 1

ScalableMath/llemma-7b-prm-metamath-level-1to3-hf

Text Generation • Updated Mar 1 • 371 • 3

ScalableMath/llemma-7b-prm-prm800k-level-1to3-hf

Text Generation • Updated Mar 1 • 379 • 3

ScalableMath/llemma-7b-sft-metamath-level-1to3-hf

Text Generation • Updated Mar 1 • 8

ScalableMath/llemma-7b-sft-prm800k-level-1to3-hf

Text Generation • Updated Mar 1 • 341 • 2

datasets 9

ScalableMath/Lean-STaR-plus

Viewer • Updated Jul 14 • 61.1k • 18 • 3

ScalableMath/Lean-STaR-base

Viewer • Updated Jul 12 • 84.7k • 19 • 2

ScalableMath/Lean-CoT-plus

Viewer • Updated Jul 12 • 130k • 13 • 3

ScalableMath/Lean-CoT-base

Viewer • Updated May 7 • 52.4k • 15 • 4

ScalableMath/MATH_train-cleaned_processed

Viewer • Updated Jan 19 • 7.5k • 63 • 3

ScalableMath/rm_data8

Viewer • Updated Dec 6, 2023 • 248k • 43 • 1

ScalableMath/rm_data7

Viewer • Updated Dec 1, 2023 • 27.7k • 12

ScalableMath/rm_data6

Viewer • Updated Dec 1, 2023 • 30.1k • 52

ScalableMath/rm_data5

Viewer • Updated Nov 29, 2023 • 24.4k • 48