https://www.arxiv.org/abs/2601.23058
0 viewsОткрыть в Telegram →
Из этого канала
- #5930https://huggingface.co/mistralai/Voxtral-Mini-4B-Realtime-2602
https://huggingface.co/mistralai/Voxtral-Mini-4B-Realtime-2602
- #5931сегодня поразбираюсь с https://github.com/lean-dojo/LeanDojo-v2 и посмотрю…
сегодня поразбираюсь с https://github.com/lean-dojo/LeanDojo-v2 и посмотрю можем ли мы это употребить в re-rl
- #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…
- #5927Хочу подобную штуку начать писать, кто присоединится, буду рад
Хочу подобную штуку начать писать, кто присоединится, буду рад
- #5926Не уверен куда скидывать
Не уверен куда скидывать