G github.com 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 32 points vrm 5 months ago 4 comments
Paper: Formalizing Mathematics at Scale - https://arxiv.org/abs/2605.29955