Llemma LLM

Лемма LLM – языковая модель математики. Модель была запущена с весами из Code Llama 7B и прошла обучение на Proof-Pile-2 в течение периода, охватывающего 200B токенов. Существует также вариант этой модели с параметрами 34B, получивший…