Automated Theorem Proving On Coqgym

Percentage correct

النتائج

نتائج أداء النماذج المختلفة على هذا المعيار القياسي

جدول المقارنة

اسم النموذج	Percentage correct
learning-to-prove-theorems-via-interacting	12.2