InternLM-Math

InternLM-Math's activity

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

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

tutorial for usage

1

#1 opened 9 months ago by

atiyah

New activity in internlm/Lean-Workbook 9 months ago

what exact model did the autoformalization?

1

#2 opened 10 months ago by

brando

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

Does this also use ChatML prompt template?

1

#1 opened 10 months ago by

jukofyork

New activity in internlm/internlm2-math-7b over 1 year ago

Apply for community grant: Academic project (gpu)

4

#1 opened over 1 year ago by

InternLM-Math