сегодня поразбираюсь с https://github.com/lean-dojo/LeanDojo-v2 и посмотрю можем ли мы это употребить в re-rl
сегодня поразбираюсь с https://github.com/lean-dojo/LeanDojo-v2 и посмотрю…
0 viewsОткрыть в Telegram →
Из этого канала
- #5933Generating Millions Of Lean Theorems With Proofs By Exploring State Transition…
Generating Millions Of Lean Theorems With Proofs By Exploring State Transition Graphs https://arxiv.org/abs/2503.04772…
- #5934вот это пробую https://t.me/researchim/243/5933
вот это пробую https://t.me/researchim/243/5933
- #5939начало положено
начало положено
- #5930https://huggingface.co/mistralai/Voxtral-Mini-4B-Realtime-2602
https://huggingface.co/mistralai/Voxtral-Mini-4B-Realtime-2602
- #5929https://www.arxiv.org/abs/2601.23058
https://www.arxiv.org/abs/2601.23058