Goedel-Prover
en construction
Définition
Modèle de langue libre accès qui atteint des performances de pointe dans la génération automatisée de preuves formelles pour les problèmes mathématiques (en date du 5 avril 2025).
Français
Goedel-Prover
Anglais
Goedel-Prover
An open-source language model that achieves state-of-the-art performance in automated formal proof generation for mathematical problems (as of April 5 2025).
Sources
Contributeurs: Arianne Arel, wiki
