ScalableMath

Activity Feed Request to join this org

AI & ML interests

None defined yet.

Recent Activity

wellecks authored a paper about 2 months ago

Evaluating Language Models as Synthetic Data Generators

zhiqings authored a paper 3 months ago

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

zhiqings authored a paper 3 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, 2024 • 21 • 3

ScalableMath/Lean-STaR-base

Feature Extraction • Updated Jul 12, 2024 • 16

ScalableMath/Lean-CoT-base

Feature Extraction • Updated Jul 12, 2024 • 14

ScalableMath/Lean-CoT-plus

Feature Extraction • Updated Jul 12, 2024 • 16

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

Text Generation • Updated Mar 1, 2024 • 51 • 4

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

Text Generation • Updated Mar 1, 2024 • 17 • 1

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

Text Generation • Updated Mar 1, 2024 • 135 • 3

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

Text Generation • Updated Mar 1, 2024 • 135 • 3

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

Text Generation • Updated Mar 1, 2024 • 14

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

Text Generation • Updated Mar 1, 2024 • 131 • 2

datasets 9

ScalableMath/Lean-STaR-plus

Viewer • Updated Jul 14, 2024 • 61.1k • 10 • 3

ScalableMath/Lean-STaR-base

Viewer • Updated Jul 12, 2024 • 84.7k • 8 • 2

ScalableMath/Lean-CoT-plus

Viewer • Updated Jul 12, 2024 • 130k • 25 • 3

ScalableMath/Lean-CoT-base

Viewer • Updated May 7, 2024 • 52.4k • 11 • 3

ScalableMath/MATH_train-cleaned_processed

Viewer • Updated Jan 19, 2024 • 7.5k • 16 • 4

ScalableMath/rm_data8

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

ScalableMath/rm_data7

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

ScalableMath/rm_data6

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

ScalableMath/rm_data5

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