Show HN: LLM Verified with Monte Carlo Tree Search

• llm-verified-with-monte-carlo-tree-search

  4 192 9.8 Python

  LLM verified with Monte Carlo Tree Search

https://github.com/namin/llm-verified-with-monte-carlo-tree-...

The main advantage of MCTS is that it takes care of the exploitation/exploration trade off based on the scores propagated by the child finder.

I hope this helps. Let me know if this addresses your question.

• llm-verified-with-monte-carlo-tree-

  3 - -

This is a weekend hack that I'd like to further develop as it's working surprisingly well.

Using MCTS, we can explore a space of possible verified programs with an LLM. We check the partial programs at each step, and so steer towards programs that pass the verifier.

https://github.com/namin/llm-verified-with-monte-carlo-tree-...

• InfluxDB

  www.influxdata.com featured

  Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

  

• monte-carlo-tree-search

  1 104 3.8 Python

  Library for running a Monte Carlo tree search, either traditionally or with expert policies

  

https://github.com/ImparaAI/monte-carlo-tree-search

• llama.cpp

  773 56,891 10.0 C++

  LLM inference in C/C++

Could this be combined with something like [llama.cpp's constraint-based grammar](https://github.com/ggerganov/llama.cpp/blob/master/grammars/...) to always enforce syntactically correct code output?

Suggest a related project