Ребятки как дату для доказательств теорем генерить можем? Я в re-rl хочу затащить и потом в модельки подключить
Ребятки как дату для доказательств теорем генерить можем? Я в re-rl хочу…
0 viewsОткрыть в Telegram →
Из этого канала
- #5916в справку и доки добавил немножко инфы
в справку и доки добавил немножко инфы
- #5917так щас лора визоут регрет попробуем подтащить кстати нам нужно очень крутое…
так щас лора визоут регрет попробуем подтащить кстати нам нужно очень крутое учебное пособие внутри по всему происходящему буквально.
- #5918ну с лорой в целом это база была. там надо прост лору типа к ко всем linear…
ну с лорой в целом это база была. там надо прост лору типа к ко всем linear слоям применять. оно сделано итак уже было по-дефолту.
- #5913TheoremForge: Scaling up Formal Data Synthesis with Low-Budget Agentic Workflow…
TheoremForge: Scaling up Formal Data Synthesis with Low-Budget Agentic Workflow https://arxiv.org/abs/2601.17332 https://github.com/timechess/TheoremForge
- #5912https://github.com/researchim-ai/models-at-home ребятки, мейн обновлен) sdpo…
https://github.com/researchim-ai/models-at-home ребятки, мейн обновлен) sdpo теперь поддерживает lora/qlora рекомендую lora.