AlphaPeu commune
namin/llm-verified-with-monte-carlo-tree-search
LLM verified with Monte Carlo Tree Search
- Propriétaire
- namin (compte personnel)
- Étoiles
- Étoiles : 296
- Forks
- Forks : 29
- Langage
- Jupyter Notebook
- Licence
- MIT
- Création
- 2023
- Sujets
- aidafnyllmmonte-carlo-tree-searchcoqleansynthesisverification
- Rang
- Alpha (250 à 699 ★) Ce que veut dire ce rang
Autres dépôts de namin
Les 6 dépôts de namin- namin/incÉtoiles : 972SchemeBêta
- namin/dotÉtoiles : 165Prototype
- namin/io.livecode.chÉtoiles : 144HTMLPrototype
- namin/staged-miniKanrenÉtoiles : 144RacketPrototype
- namin/logicallyÉtoiles : 119ClojurePrototype
D’autres dépôts Jupyter Notebook
Tous les dépôts Jupyter Notebook- Denis2054/Context-Engineering-for-Multi-Agent-SystemsÉtoiles : 296Jupyter NotebookAlpha
- nstathou/hello-slamÉtoiles : 296Jupyter NotebookAlpha
- Peanut-Study/Reinforcement-Learning-Study-NoteÉtoiles : 296Jupyter NotebookAlpha
- VinceMarron/style_transferÉtoiles : 296Jupyter NotebookAlpha
- dgkim5360/the-elements-of-statistical-learning-notebooksÉtoiles : 296Jupyter NotebookAlpha
- sdsubhajitdas/Brain-Tumor-SegmentationÉtoiles : 296Jupyter NotebookAlpha