Rag augment - Githubissues

namin / llm-verified-with-monte-carlo-tree-search

LLM verified with Monte Carlo Tree Search

https://arxiv.org/abs/2402.08147

MIT License

210 stars 25 forks source link

Closed kemmaliu closed 6 days ago

kemmaliu commented 1 week ago

integrated RAG with VerMCTS for Dafny context using the Devin chunked dafny manual