PrototypeCommune
google-deepmind/debate
Formalizing stochastic doubly-efficient debate
Archivé : ce dépôt n’évolue plus
- Propriétaire
- google-deepmind (organisation)
- Étoiles
- Étoiles : 120
- Forks
- Forks : 17
- Langage
- Lean
- Licence
- Apache-2.0
- Création
- 2023
- Sujets
- lean4
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de google-deepmind
Les 174 dépôts de google-deepmind- google-deepmind/mujocoÉtoiles : 16 008C++Stable
- google-deepmind/deepmind-researchÉtoiles : 15 261Jupyter NotebookStable
- google-deepmind/alphafoldÉtoiles : 14 920PythonStable
- google-deepmind/sonnetÉtoiles : 9 975PythonStable
- google-deepmind/alphafold3Étoiles : 8 709PythonStable
- google-deepmind/pysc2Étoiles : 8 330PythonStable
D’autres dépôts Lean
Tous les dépôts Lean- TwoFX/sudokuÉtoiles : 120LeanPrototype
- avigad/lamrÉtoiles : 120LeanPrototype
- leanprover/LNSymÉtoiles : 120LeanPrototype
- leanprover-community/duperÉtoiles : 119LeanPrototype