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

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…

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

Не уверен куда скидывать