namin/llm-verified-with-monte-carlo-tree-search
LLM verified with Monte Carlo Tree Search
This prototype helps formal verification engineers by synthesizing correct code directly from a Large Language Model (LLM). It takes a problem description and an LLM as input and produces verified code in languages like Dafny, Coq, Lean, Scala, or Rust. This is for formal verification engineers who need to generate provably correct software components.
289 stars. No commits in the last 6 months.
Use this if you need to generate provably correct code automatically and want to leverage LLMs while ensuring formal verification at each step.
Not ideal if you are not working with formal verification or do not require mathematically proven correctness for your generated code.
Stars
289
Forks
31
Language
Jupyter Notebook
License
MIT
Category
Last pushed
Mar 31, 2025
Commits (30d)
0
Get this data via API
curl "https://pt-edge.onrender.com/api/v1/quality/llm-tools/namin/llm-verified-with-monte-carlo-tree-search"
Open to everyone — 100 requests/day, no key needed. Get a free key for 1,000/day.
Featured in
Higher-rated alternatives
EvolvingLMMs-Lab/lmms-eval
One-for-All Multimodal Evaluation Toolkit Across Text, Image, Video, and Audio Tasks
vibrantlabsai/ragas
Supercharge Your LLM Application Evaluations 🚀
open-compass/VLMEvalKit
Open-source evaluation toolkit of large multi-modality models (LMMs), support 220+ LMMs, 80+ benchmarks
EuroEval/EuroEval
The robust European language model benchmark.
Giskard-AI/giskard-oss
🐢 Open-Source Evaluation & Testing library for LLM Agents