InternLM-Math

InternLM-Math's activity

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

updated 2 models 4 months ago

internlm/internlm2_5-step-prover-critic

Text Generation • Updated Oct 22, 2024 • 1.52k • 6

internlm/internlm2_5-step-prover

Text Generation • Updated Oct 22, 2024 • 299 • 4

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

tutorial for usage

1

#1 opened 4 months ago by

atiyah

liked 2 models 4 months ago

internlm/internlm2_5-step-prover-critic

Text Generation • Updated Oct 22, 2024 • 1.52k • 6

internlm/internlm2_5-step-prover

Text Generation • Updated Oct 22, 2024 • 299 • 4

updated a collection 4 months ago

InternLM2-Math

Collection

16 items • Updated 6 days ago • 7

updated a dataset 4 months ago

internlm/Lean-Workbook

Viewer • Updated Oct 9, 2024 • 25.2k • 221 • 30

New activity in internlm/Lean-Workbook 4 months ago

what exact model did the autoformalization?

1

#2 opened 5 months ago by

brando

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

Does this also use ChatML prompt template?

1

#1 opened 6 months ago by

jukofyork

updated a collection 7 months ago

InternLM2-Math

Collection

16 items • Updated 6 days ago • 7

updated a dataset 7 months ago

internlm/Lean-Github

Viewer • Updated Jul 25, 2024 • 219k • 92 • 26

updated a model 7 months ago

internlm/internlm2-step-prover

Text Generation • Updated Jul 25, 2024 • 443 • 21