Was InternLM2-Math-Plus trained on Lean-Workbook?

InternLM / InternLM-Math

State-of-the-art bilingual open-sourced Math reasoning LLMs.

Apache License 2.0

403 stars 25 forks source link

Was InternLM2-Math-Plus trained on Lean-Workbook? #34

Closed realharryhero closed 1 month ago

realharryhero commented 1 month ago

Hello,

I'm planning on fine-tuning the InternLM model on some things, like Lean-Workbook. Most likely it already was, but just to make sure - was it finetuned on Lean-Workbook? Thanks!

realharryhero commented 1 month ago

Sorry, closing as it's already answered.

realharryhero commented 1 month ago

According to #32