там кстати челы выложили датасеты которые использовали для трена Goedel-Prover-V2 - модельки для доказательств теорем выходила моделька и статья в августе 2025 сама папир Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-Correction https://arxiv.org/abs/2508.03613 https://www.alphaxiv.org/ru/overview/2508.03613 моделька https://huggingface.co/Goedel-LM/Goedel-Prover-V2-32B сеты SFT (1.74M samples) https://huggingface.co/datasets/Goedel-LM/SFT_dataset_v2 RL (whole proof generation + self-revision, 98k samples) https://huggingface.co/datasets/Goedel-LM/RL_dataset_V2
там кстати челы выложили датасеты которые использовали для трена…
Из этого канала
- #1323приятно знать что у Сэма появились деньги чтобы делать инструменты для всех нас…
приятно знать что у Сэма появились деньги чтобы делать инструменты для всех нас кстати кодексом 5.3 я доволен
- #1324https://voxelbench.ai/compare бенч моделек на генерации всякого из кубиков…
https://voxelbench.ai/compare бенч моделек на генерации всякого из кубиков довольно прикольно выглядит можно пооценивать и полюбоваться
- #1325🥰 завтра весна 🥰
🥰 завтра весна 🥰
- #1320квены надистилили небольших моделек https://huggingface.co/Qwen/Qwen3.5-27B…
квены надистилили небольших моделек https://huggingface.co/Qwen/Qwen3.5-27B https://huggingface.co/Qwen/Qwen3.5-35B-A3B gguf для лмстудии и llama.cpp:…
- #1318на фоне новости про дистил антропика чел выложил реп который сразу конвертит…
на фоне новости про дистил антропика чел выложил реп который сразу конвертит историю сообщенийс клодом/кодексом в датасет его датасета уже на хф нет :) (но я…