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 • 121 • 7
internlm/internlm2-math-plus-7b

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

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

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

71

🏆

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

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

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

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

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

Viewer • Updated Oct 9, 2024 • 25.2k • 344 • 27
internlm/internlm2-step-prover

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

Viewer • Updated Jul 25, 2024 • 219k • 50 • 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 • 290 • 3
internlm/internlm2_5-step-prover-critic

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