« Goedel-Prover » : différence entre les versions
(Page créée avec « ==en construction== == Définition == XXXXXXXXX == Français == ''' Goedel-Prover''' == Anglais == '''Goedel-Prover''' An open-source model for automated theorem proving. To overcome the scarcity of formal math data, they first trained models to convert 1.64 million natural language math problems into the formal language Lean 4. They then used an "expert iteration" process, where successive versions of the prover generate new proofs that are verified and... ») |
Aucun résumé des modifications |
||
| Ligne 2 : | Ligne 2 : | ||
== Définition == | == 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 == | == Français == | ||
| Ligne 10 : | Ligne 10 : | ||
'''Goedel-Prover''' | '''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 == | |||
[https://arxiv.org/html/2502.07640v3 Source : arxiv] | [https://arxiv.org/html/2502.07640v3 Source : arxiv] | ||
[[Catégorie:vocabulary]] | [[Catégorie:vocabulary]] | ||
Dernière version du 6 octobre 2025 à 11:21
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
