Хм, похоже новая сота опенсурс ллм-прувер Статьи пока нет. Генерили синтетические доказательства с возрастающей сложностью + самокоррекция на фидбеке от Lean компилера. RL Goedel-Prover-V2-8B моделька пишут что примерно как DeepSeek-Prover-V2-671B. 32B еще лучше https://blog.goedel-prover.com/ https://huggingface.co/Goedel-LM/Goedel-Prover-V2-8B https://huggingface.co/Goedel-LM/Goedel-Prover-V2-32B
Хм, похоже новая сота опенсурс ллм-прувер Статьи пока нет. Генерили…
Из этого канала
- #1187Ставим звездочки и участвуем в интересном проекте
Ставим звездочки и участвуем в интересном проекте
- #1188🚀 Уважаемые коллеги, кому интересна математика и машинное обучение, приглашаем…
🚀 Уважаемые коллеги, кому интересна математика и машинное обучение, приглашаем Вас принять участие в неформальном научном проекте.
- #1189Каждая рандомная группа челов автоматически становится новой LLM RL лабой…
Каждая рандомная группа челов автоматически становится новой LLM RL лабой CUDA-L1: Improving CUDA Optimization via Contrastive Reinforcement Learning…
- #1181Как же он понял... 👍👍👍 https://x.com/jasonwei/status/1945294042138599722
Как же он понял... 👍👍👍 https://x.com/jasonwei/status/1945294042138599722
- #1180Мб кому интересно Чел который уволился из OpenAI 3 недели назад рассказывает о…
Мб кому интересно Чел который уволился из OpenAI 3 недели назад рассказывает о своих впечатлениях.