Hilbert: Recursively Building Formal Proofs with Informal Reasoning https://arxiv.org/abs/2509.22819 https://www.alphaxiv.org/ru/overview/2509.22819
Hilbert: Recursively Building Formal Proofs with Informal Reasoning…
0 viewsОткрыть в Telegram →
Из этого канала
- #5325а было уже, в сохраненках осталось прост
а было уже, в сохраненках осталось прост
- #5326On GRPO Collapse in Search-R1: The Lazy Likelihood-Displacement Death Spiral…
On GRPO Collapse in Search-R1: The Lazy Likelihood-Displacement Death Spiral https://arxiv.org/abs/2512.04220 https://www.alphaxiv.org/ru/overview/2512.04220
- #5328Да было бы круто
Да было бы круто
- #5320https://gptzero.me/news/iclr-2026/
https://gptzero.me/news/iclr-2026/
- #5319Кста я тут подумал, мб сюда составим список из опенсорсных проектов которые…
Кста я тут подумал, мб сюда составим список из опенсорсных проектов которые делаются тут? в смысле что всех кто в чатике есть и кто хотел бы про свой проект…