AIMO-CMU-MATH

university

AI & ML interests

None defined yet.

Recent Activity

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

tkitsers updated a model 6 months ago

AIMO-CMU-MATH/reward-model

View all activity

models 2

AIMO-CMU-MATH/reward-model

Text Generation • Updated Jul 9 • 107 • 4

AIMO-CMU-MATH/policy-model

Text Generation • Updated Jul 9 • 16 • 2

datasets

None public yet