Pith. sign in

Title resolution pending

All the variables are well-typed

1 Pith paper cite this work. Polarity classification is still indexing.

1 Pith paper citing it
browse 1 citing papers

Title metadata for this work has not finished resolving. The hub is built from the citation graph; the title resolver retries DOI and OpenAlex on its next pass.

fields

cs.LG 1

years

2025 1

verdicts

CONDITIONAL 1

representative citing papers

STP: Self-play LLM Theorem Provers with Iterative Conjecturing and Proving

cs.LG · 2025-01-31 · conditional · novelty 7.0

A self-play loop in which an LLM generates conjectures graded by its own prover's pass rate doubles the LeanWorkbook solve rate to 28.5% and sets whole-proof-method records on miniF2F (65.0% pass@3200), ProofNet (23.9%), and PutnamBench (8/644).

citing papers explorer

Showing 1 of 1 citing paper.

  • STP: Self-play LLM Theorem Provers with Iterative Conjecturing and Proving cs.LG · 2025-01-31 · conditional · none · ref 1

    A self-play loop in which an LLM generates conjectures graded by its own prover's pass rate doubles the LeanWorkbook solve rate to 28.5% and sets whole-proof-method records on miniF2F (65.0% pass@3200), ProofNet (23.9%), and PutnamBench (8/644).