internlm/internlm2-math-plus-20b
Text Generation • 20B • Updated • 70 • 7
InternLM2-Math
-
-
internlm/internlm2-math-plus-7b
Text Generation • 8B • Updated • 220 • 11 -
internlm/internlm2-math-plus-1_8b
Text Generation • 2B • Updated • 143 • 12 -
internlm/internlm2-math-plus-mixtral8x22b
Text Generation • 141B • Updated • 29 • 19 -
Internlm2 Math 7b
🏆75Chat with a math-enhanced language model
-
internlm/internlm2-math-20b
Text Generation • 20B • Updated • 66 • 18 -
internlm/internlm2-math-7b
Text Generation • 8B • Updated • 75 • 27 -
internlm/internlm2-math-base-20b
Text Generation • 20B • Updated • 51 • 5 -
internlm/internlm2-math-base-7b
Text Generation • 8B • Updated • 74 • 2 -
internlm/Lean-Workbook
Viewer • Updated • 25.2k • 666 • 57 -
internlm/internlm2-step-prover
Text Generation • Updated • 470 • 23 -
internlm/Lean-Github
Viewer • Updated • 219k • 255 • 38 -
LEAN-GitHub: Compiling GitHub LEAN repositories for a versatile LEAN prover
Paper • 2407.17227 • Published -
Lean Workbook: A large-scale Lean problem set formalized from natural language math problems
Paper • 2406.03847 • Published • 2 -
internlm/internlm2_5-step-prover
Text Generation • Updated • 1.23k • 5 -
internlm/internlm2_5-step-prover-critic
Text Generation • Updated • 94.8k • 6