InternLM-Math

InternLM-Math

AI & ML interests

None yet

Recent Activity

updated a model about 1 month ago
internlm/internlm2_5-step-prover-critic
updated a model about 1 month ago
internlm/internlm2_5-step-prover
View all activity

Organizations

InternLM-Math's activity

New activity in internlm/internlm2_5-step-prover about 1 month ago

tutorial for usage

1
#1 opened about 1 month ago by atiyah
New activity in internlm/Lean-Workbook about 2 months ago