PrototypeCommune
wellecks/ntptutorial
Tutorial on neural theorem proving
- Propriétaire
- wellecks (compte personnel)
- Étoiles
- Étoiles : 179
- Forks
- Forks : 16
- Langage
- Jupyter Notebook
- Licence
- MIT
- Création
- 2023
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de wellecks
Les 3 dépôts de wellecks- wellecks/llmstepÉtoiles : 156PythonPrototype
- wellecks/naturalproofsÉtoiles : 138PythonPrototype
D’autres dépôts Jupyter Notebook
Tous les dépôts Jupyter Notebook- phyworld/phyworldÉtoiles : 179Jupyter NotebookPrototype
- zhenyu-02/LogitLens4LLMsÉtoiles : 179Jupyter NotebookPrototype
- ToyotaResearchInstitute/diffmpcÉtoiles : 179Jupyter NotebookPrototype
- mgroncki/IPythonScriptsÉtoiles : 179Jupyter NotebookPrototype
- matthias-k/pysaliencyÉtoiles : 179Jupyter NotebookPrototype
- gy20073/compact_bilinear_poolingÉtoiles : 179Jupyter NotebookPrototype