ATLAS: Autoformalized Textbook Library At Scale

https://twitter.com/arnal_charles/status/2060009395107377282, https://xcancel.com/arnal_charles/status/2060009395107377282Paper: Formalizing Mathematics at Scale - https://arxiv.org/abs/2605.29955