InternLM-Math

InternLM-Math's activity

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

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

tutorial for usage

1

#1 opened 2 months ago by

atiyah

New activity in internlm/Lean-Workbook 3 months ago

what exact model did the autoformalization?

1

#2 opened 3 months ago by

brando

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

Does this also use ChatML prompt template?

1

#1 opened 4 months ago by

jukofyork

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

Apply for community grant: Academic project (gpu)

4

#1 opened 11 months ago by

InternLM-Math

Apply for community grant: Academic project (gpu)

4

#1 opened 11 months ago by

InternLM-Math