#automated-reasoning — top 20, last 30d
| 1 | ℹ |
Advancing mathematics research with AI-driven formal proof search.
(science.org)
|
Science 2026-10-08 | #formal verification #theorem proving #machine learning #automated-reasoning |