EleutherAI/math-lm Issues
ygu
UpdatedOptimizer states?
Updated 1Convert HF to Neox?
Updatedprompting
Updated 1Inference code
UpdatedComplementary paper
Closed 2exporting to Hugging Face?
Closed 1Ddk
Closedtraining loss curve
Closed 1DDDK
Closed.
Closed 12+2
Closed 125+17=
Closed 1What's the prompt template?
Closed 1Premise Selection (Eval Task)
Closed 3NaturalProofs (Eval Task)
Closed 3Citation for this repo
Closed 1Implement calculator for GSM8k
Closed 2Deepmind Math (Eval Task)
Closed 1Mathematica and Matlab
Closed 4Isabelle github data
Closed 1Isabelle github data
ClosedDate cutoff for github code
Closed 1Coq
Closed 8Data work
Closed 2Additional languages from Stack
Closed 5IsarStep (Eval Task)
Closed 1LILA (Eval Task)
Closed 8