Sphere Prover
The dataset and ckpt in Sphere-Prover-V1: Training LLM-based Prover for Formal Mathematics via Exploration-based Reinforocement Learning
This collection has no items.
The dataset and ckpt in Sphere-Prover-V1: Training LLM-based Prover for Formal Mathematics via Exploration-based Reinforocement Learning