InternLM-Math

InternLM-Math's activity

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

New activity in internlm/internlm2_5-step-prover 15 days ago

tutorial for usage

1

#1 opened 15 days ago by atiyah

New activity in internlm/Lean-Workbook 29 days ago

what exact model did the autoformalization?

1

#2 opened about 1 month ago by brando

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

Does this also use ChatML prompt template?

1

#1 opened 2 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