AlphaUncommon
namin/llm-verified-with-monte-carlo-tree-search
LLM verified with Monte Carlo Tree Search
- Owner
- namin (personal account)
- Stars
- Stars: 296
- Forks
- Forks: 29
- Language
- Jupyter Notebook
- License
- MIT
- Created
- 2023
- Topics
- aidafnyllmmonte-carlo-tree-searchcoqleansynthesisverification
- Tier
- Alpha (250 to 699 ★) What this tier means
More repos by namin
All 6 repos by namin- namin/incStars: 972SchemeBeta
- namin/dotStars: 165Prototype
- namin/io.livecode.chStars: 144HTMLPrototype
- namin/staged-miniKanrenStars: 144RacketPrototype
- namin/logicallyStars: 119ClojurePrototype
Nearby in Jupyter Notebook
All Jupyter Notebook repos- Denis2054/Context-Engineering-for-Multi-Agent-SystemsStars: 296Jupyter NotebookAlpha
- nstathou/hello-slamStars: 296Jupyter NotebookAlpha
- Peanut-Study/Reinforcement-Learning-Study-NoteStars: 296Jupyter NotebookAlpha
- VinceMarron/style_transferStars: 296Jupyter NotebookAlpha
- dgkim5360/the-elements-of-statistical-learning-notebooksStars: 296Jupyter NotebookAlpha
- sdsubhajitdas/Brain-Tumor-SegmentationStars: 296Jupyter NotebookAlpha