Automated Theorem Proving
Liste des benchmarks
Tous les benchmarks liés à cette tâche
compcert
Meilleur modèle: Proverbot9001
Métriques
Voir les détails
coqgym
Meilleur modèle: ASTactic
Métriques
Voir les détails
holstep-conditional
Meilleur modèle: MPNN-DagLSTM
Métriques
Voir les détails
holstep-unconditional
Meilleur modèle: FormulaNet
Métriques
Voir les détails
minif2f-test
Meilleur modèle: ProofAug
Métriques
Voir les détails
minif2f-valid
Meilleur modèle: LEGO-Prover ChatGPT
Métriques
Voir les détails
holist-benchmark
Métriques
Voir les détails
metamath-set-mm
Métriques
Voir les détails
minif2f-curriculum
Métriques
Voir les détails