| ▲ | ATLAS: Autoformalized Textbook Library At Scale(github.com) | |
| 8 points by vrm a day ago | ||
https://twitter.com/arnal_charles/status/2060009395107377282, https://xcancel.com/arnal_charles/status/2060009395107377282 Paper: Formalizing Mathematics at Scale - https://arxiv.org/abs/2605.29955 | ||