InternLM2-Math - a internlm Collection

internlm 's Collections

InternLM-XComposer2.5

InternLM2-Reward

InternLM-XComposer2

InternLM2-Math

updated Oct 21, 2024

internlm/internlm2-math-plus-20b

Text Generation • Updated Aug 20, 2024 • 146 • 7
internlm/internlm2-math-plus-7b

Text Generation • Updated Aug 20, 2024 • 2k • 10
internlm/internlm2-math-plus-1_8b

Text Generation • Updated Aug 20, 2024 • 274 • 9
internlm/internlm2-math-plus-mixtral8x22b

Text Generation • Updated May 24, 2024 • 22 • 17
Runtime error

73

🏆

Internlm2 Math 7b
internlm/internlm2-math-20b

Text Generation • Updated Aug 20, 2024 • 63 • 18
internlm/internlm2-math-7b

Text Generation • Updated Aug 20, 2024 • 257 • 27
internlm/internlm2-math-base-20b

Text Generation • Updated Aug 20, 2024 • 1.15k • 5
internlm/internlm2-math-base-7b

Text Generation • Updated Aug 20, 2024 • 1.31k • 2
internlm/Lean-Workbook

Viewer • Updated Oct 9, 2024 • 25.2k • 322 • 28
internlm/internlm2-step-prover

Text Generation • Updated Jul 25, 2024 • 101 • 21
internlm/Lean-Github

Viewer • Updated Jul 25, 2024 • 219k • 55 • 26
LEAN-GitHub: Compiling GitHub LEAN repositories for a versatile LEAN prover

Paper • 2407.17227 • Published Jul 24, 2024
Lean Workbook: A large-scale Lean problem set formalized from natural language math problems

Paper • 2406.03847 • Published Jun 6, 2024
internlm/internlm2_5-step-prover

Text Generation • Updated Oct 22, 2024 • 190 • 3
internlm/internlm2_5-step-prover-critic

Text Generation • Updated Oct 22, 2024 • 1.92k • 6