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
New activity
about 1 month ago
internlm/internlm2_5-step-prover:tutorial for usage
Organizations
InternLM-Math's activity
tutorial for usage
1
#1 opened about 1 month ago
by
atiyah
what exact model did the autoformalization?
1
#2 opened about 2 months ago
by
brando
Does this also use ChatML prompt template?
1
#1 opened 3 months ago
by
jukofyork
Apply for community grant: Academic project (gpu)
4
#1 opened 10 months ago
by
InternLM-Math
Apply for community grant: Academic project (gpu)
4
#1 opened 10 months ago
by
InternLM-Math