The dataset and ckpt in Sphere-Prover-V1: Training LLM-based Prover for Formal Mathematics
via Exploration-based Reinforocement Learning
AI & ML interests
None defined yet.
Recent Activity
Organization Card
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.