Automated Theorem Proving On Coqgym

Percentage correct

Résultats

Résultats de performance de divers modèles sur ce benchmark

Tableau comparatif

Nom du modèle	Percentage correct
learning-to-prove-theorems-via-interacting	12.2