v0.1.0 — Initial Release

ProofScale v0.1.0

Population‑level test‑time scaling for LLM‑driven mathematical proofs.

Documentation

📖 Full documentation

Research Paper

📄 See attached PDF for the full technical paper.