Seed-Prover 1.5: Mastering Undergraduate-Level Theorem Proving via Learning from Experience https://github.com/ByteDance-Seed/Seed-Prover/blob/main/SeedProver-1.5/SeedProver-1.5.pdf
Seed-Prover 1.5: Mastering Undergraduate-Level Theorem Proving via Learning…
Из этого канала
- #5448Curie — это первая платформа на основе ИИ-агентов, предназначенная для…
Curie — это первая платформа на основе ИИ-агентов, предназначенная для автоматизированных и тщательных научных экспериментов.
- #5449Вот это потыкал, понравилось. https://www.scienceos.ai/ Очень похоже на…
Вот это потыкал, понравилось. https://www.scienceos.ai/ Очень похоже на notebookLM, только с поиском по научным статьям вместо веба
- #5450Во время трена SFT добавил просмотр рандомных семплов которые идут в модельку…
Во время трена SFT добавил просмотр рандомных семплов которые идут в модельку на трен
- #5445положил в соответстующий раздел кстати чот альфахив не грузится :( бедааа
положил в соответстующий раздел кстати чот альфахив не грузится :( бедааа
- #5444GyroSwin: 5D Surrogates for Gyrokinetic Plasma Turbulence Simulations…
GyroSwin: 5D Surrogates for Gyrokinetic Plasma Turbulence Simulations https://arxiv.org/abs/2510.07314 https://github.com/ml-jku/neural-gyrokinetics