SphereLab/FormalMATH-All
Viewer
•
Updated
•
5.56k
•
91
•
2
None defined yet.
The Scalable Principles for Learning and Reasoning (Sphere) Lab is led by Weiyang Liu, and its members come from Max Planck Institute for Intelligent Systems TĂĽbingen, The Chinese University of Hong Kong and Westlake University.