Automated Theorem Proving On Coqgym

Percentage correct

Ergebnisse

Leistungsergebnisse verschiedener Modelle zu diesem Benchmark

Vergleichstabelle

Modellname	Percentage correct
learning-to-prove-theorems-via-interacting	12.2