← Latest products

LLM Verified with Monte Carlo Tree Search

LLM verified with Monte Carlo Tree Search. This is a weekend hack that I'd like to further develop as it's working surprisingly well.

Open source

295 stars · GitHubexternal site

Visit github.comexternal site

Reactions (1)

Similar products

by description similarity

  1. This is a simple text editor, made using gtkmm 3 and llama.cpp, that allows you to explore the possible continuations (ranked by descending probability) that an LLM would output after each token.

    Hacker News5 pts

  2. LLM

    github.com

    a Rust Crate/CLI for CPU Inference of LLMs (LLaMA, GPT-NeoX, etc.)

    Hacker News45 pts

  3. Llm.f90 fast

    github.com

    hackable transformer implementation in Fortran

    Hacker News6 pts

  4. We launched Mito here last year ( https://news.ycombinator.com/item?id=32723766 ).

    Hacker News83 pts

  5. Benchmark evaluating LLMs on their ability to create and resist disinformation. Includes comprehensive testing across major models (Claude, GPT-4, Gemini, Llama, etc.) with standardized evaluation metrics.

    Hacker News7 pts