InternLM-Math's picture

InternLM-Math

InternLM-Math

AI & ML interests

None yet

Recent Activity

updated a model about 2 months ago
internlm/internlm2_5-step-prover-critic
updated a model about 2 months ago
internlm/internlm2_5-step-prover
View all activity

Organizations

InternLM's profile picture

InternLM-Math's activity

New activity in internlm/internlm2_5-step-prover about 2 months ago

tutorial for usage

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