#reasoning — Sunday, March 01, 2026 (1 items)
| 0 | 💬 0 |
Olympiad-level formal mathematical reasoning with reinforcement learning.
(nature.com)
|
Nature 2026-03-01 | #reinforcement learning #reasoning #formal verification #proof |