internlm/internlm2-math-plus-20b
Text Generation
•
Updated
•
21
•
6
InternLM2-Math
-
-
internlm/internlm2-math-plus-7b
Text Generation • Updated • 544 • 10 -
internlm/internlm2-math-plus-1_8b
Text Generation • Updated • 2.11k • 9 -
internlm/internlm2-math-plus-mixtral8x22b
Text Generation • Updated • 9 • 17 -
Runtime error71🏆
Internlm2 Math 7b
-
internlm/internlm2-math-20b
Text Generation • Updated • 44 • 17 -
internlm/internlm2-math-7b
Text Generation • Updated • 331 • 27 -
internlm/internlm2-math-base-20b
Text Generation • Updated • 14 • 4 -
internlm/internlm2-math-base-7b
Text Generation • Updated • 345 • 2 -
internlm/Lean-Workbook
Updated • 25 • 21 -
internlm/internlm2-step-prover
Text Generation • Updated • 634 • 20 -
internlm/Lean-Github
Viewer • Updated • 219k • 18 • 21 -
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