Meta Ai Meta AI Releases LeanUniverse: An Open-Source Machine Learning Library for Efficient and Scalable Lean4 Dataset Management ByDeepMind March 28, 2025 3:06 am
