Llm Verified With Monte Carlo Tree Search | Formalml | |
---|---|---|
Stars | 143 | 60 |
Downloads | ||
Dependent Packages | ||
Dependent Repos | ||
Most Recent Commit | 4 months ago | 4 months ago |
Total Releases | ||
Latest Release | ||
Open Issues | 1 | |
License | mit | apache-2.0 |
Programming Language | Python | Coq |