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