InternLM-Math

InternLM-Math's activity

• All
• Models
• Datasets
• Spaces
• Papers
• Collections
• Community
• Posts
• Upvotes
• Likes

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 1 month ago

what exact model did the autoformalization?

1

#2 opened about 2 months ago by brando

New activity in internlm/internlm2-math-plus-mixtral8x22b 3 months ago

Does this also use ChatML prompt template?

1

#1 opened 3 months ago by jukofyork

New activity in internlm/internlm2-math-7b 10 months ago

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