namin / llm-verified-with-monte-carlo-tree-search
LLM verified with Monte Carlo Tree Search
Why this job: works in the areas we cover, but does not say which job it does
What it does
Using Monte Carlo Tree Search (MCTS), it explores the space of possible generation of a verified program, and it checks at every step that it's on the right track by calling the verifier.
Get started
No single install command. Read the steps in the README (opens in new tab)
- Maintenance
- Active
- Last commit 3 months ago
- Stars
- 297
- +1 this week
- Licence
- MIT
- Allows business use
- Downloads for
- None listed
- No release files
- Latest version
- None yet
- No releases
- Built with
- Jupyter Notebook
- 89% of the code
Is it looked after?
- Contributors
- Not stated
- Last 90 days
- Issues
- 33% closed
- 6 still open
- Pull requests
- 80 merged
- 0 waiting
- Releases
- None
- Never published
- No contributing guide
- No security policy
- No code of conduct
Similar repos
| Repo | Stars | Last commit | Licence | Downloads for |
|---|---|---|---|---|
| midspiral / LemmaScript | 164 | yesterday | MIT | No downloads |
| lean-dojo / LeanDojo | 852 | 9 months ago | MIT | No downloads |
| JetBrains-Research / coqpilot | 130 | 7 months ago | LGPL-2.1 | No downloads |
More: languages, topics and project record
Languages
- Jupyter Notebook 89%
- Python 10%
- Shell 1%
- Dockerfile <1%
Topics
- ai
- dafny
- llm
- monte-carlo-tree-search
- coq
- lean
- synthesis
- verification
Project record
- JobOther AI tools
- StatusListed
- Commits924
- Forks29
- Watching7
- Stars in 28 days+2
- CreatedNov 11, 2023
- First seen by usNov 7, 2026
- CheckedNov 8, 2026