InternLM-Math

InternLM-Math's activity

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

updated 2 models about 1 month ago

internlm/internlm2_5-step-prover-critic

Text Generation • Updated Oct 22 • 449 • 3

internlm/internlm2_5-step-prover

Text Generation • Updated Oct 22 • 602 • 3

New activity in internlm/internlm2_5-step-prover about 1 month ago

tutorial for usage

1

#1 opened about 1 month ago by atiyah

liked 2 models about 1 month ago

internlm/internlm2_5-step-prover-critic

Text Generation • Updated Oct 22 • 449 • 3

internlm/internlm2_5-step-prover

Text Generation • Updated Oct 22 • 602 • 3

updated a collection about 1 month ago

InternLM2-Math

Collection

16 items • Updated Oct 21 • 7

updated a dataset about 2 months ago

internlm/Lean-Workbook

Viewer • Updated Oct 9 • 25.2k • 377 • 25

New activity in internlm/Lean-Workbook about 2 months 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

updated a collection 4 months ago

InternLM2-Math

Collection

16 items • Updated Oct 21 • 7

updated a dataset 4 months ago

internlm/Lean-Github

Viewer • Updated Jul 25 • 219k • 105 • 25

updated a model 4 months ago

internlm/internlm2-step-prover

Text Generation • Updated Jul 25 • 776 • 20