в справку и доки добавил немножко инфы

так щас лора визоут регрет попробуем подтащить кстати нам нужно очень крутое учебное пособие внутри по всему происходящему буквально.

ну с лорой в целом это база была. там надо прост лору типа к ко всем linear слоям применять. оно сделано итак уже было по-дефолту.

как думаешь реализовывать?

Ребятки как дату для доказательств теорем генерить можем? Я в re-rl хочу затащить и потом в модельки подключить

TheoremForge: Scaling up Formal Data Synthesis with Low-Budget Agentic Workflow https://arxiv.org/abs/2601.17332 https://github.com/timechess/TheoremForge