Reported model / MODEL EVIDENCE
1 benchmarks · 3 observations · 1 sources
1 benchmarks · large dot: proofGPT-1.3B; small dots: closest models where reported
proofGPT-1.3B · ProofNet · Formalization accuracy · few-shot and prompted variants ↗
3.2% · proofGPT-1.3B · ProofNet · Formalization accuracy · few-shot and prompted variants · ProofNet: Autoformalizing and Formally Proving Undergraduate-Level Mathematics ↗
4.3% · proofGPT-1.3B · ProofNet · Informalization accuracy · few-shot and prompted variants · ProofNet: Autoformalizing and Formally Proving Undergraduate-Level Mathematics ↗
Similar positions on shared benchmark leaderboards. Smaller gaps are closer.
1 of 1 shared benchmark comparisons
1 of 1 shared benchmark comparisons
Mean absolute gap in percentile positions on shared benchmark settings; lower is closer. At least 60% overlap is required, with a minimum of three when available. Independent evaluations are used when there are at least three; otherwise published report comparisons are used. Repeated model observations within one setting are averaged before ranking. Writing-style traits and composite indices are excluded. This describes similarity, not an overall quality ranking.
Every plotted observation links to its evaluation. Reported configurations, benchmark versions and task subsets can differ; similarity describes shared scores, not training lift.
proofGPT-1.3B