вот это пробую https://t.me/researchim/243/5933

начало положено

для воспроизведения работы пока использую leandojo первый когда по этой работе смогу генерить доказательства то потом leandojov2 буду прикручивать

leandojov2 хочет всегда от пользователя гитхаб аксес токен) так что нам не пойдет

Generating Millions Of Lean Theorems With Proofs By Exploring State Transition Graphs https://arxiv.org/abs/2503.04772…

сегодня поразбираюсь с https://github.com/lean-dojo/LeanDojo-v2 и посмотрю можем ли мы это употребить в re-rl