Automated Theorem Proving On Coqgym

Percentage correct

Results

Performance results of various models on this benchmark

Comparison Table

Model Name	Percentage correct
learning-to-prove-theorems-via-interacting	12.2