TheoremForge: Scaling up Formal Data Synthesis with Low-Budget Agentic Workflow https://arxiv.org/abs/2601.17332 https://github.com/timechess/TheoremForge
TheoremForge: Scaling up Formal Data Synthesis with Low-Budget Agentic Workflow…
0 viewsОткрыть в Telegram →
Из этого канала
- #5914Ребятки как дату для доказательств теорем генерить можем? Я в re-rl хочу…
Ребятки как дату для доказательств теорем генерить можем? Я в re-rl хочу затащить и потом в модельки подключить
- #5916в справку и доки добавил немножко инфы
в справку и доки добавил немножко инфы
- #5917так щас лора визоут регрет попробуем подтащить кстати нам нужно очень крутое…
так щас лора визоут регрет попробуем подтащить кстати нам нужно очень крутое учебное пособие внутри по всему происходящему буквально.
- #5912https://github.com/researchim-ai/models-at-home ребятки, мейн обновлен) sdpo…
https://github.com/researchim-ai/models-at-home ребятки, мейн обновлен) sdpo теперь поддерживает lora/qlora рекомендую lora.
- #5911Teaching Models to Teach Themselves: Reasoning at the Edge of Learnability…
Teaching Models to Teach Themselves: Reasoning at the Edge of Learnability https://arxiv.org/abs/2601.18778 https://www.alphaxiv.org/overview/2601.18778