https://huggingface.co/mistralai/Voxtral-Mini-4B-Realtime-2602

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

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

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

https://www.arxiv.org/abs/2601.23058

Хочу подобную штуку начать писать, кто присоединится, буду рад