Search results

Make it command-line configurable to switch between Ollama (now default) and actual OpenAI

Status: Open.

#91 In namin/llm-verified-with-monte-carlo-tree-search;

· namin opened on Dec 24, 2024

Ollama works via OpenAI compatible server, but code gen has trouble stopping

Status: Open.

#89 In namin/llm-verified-with-monte-carlo-tree-search;

· namin opened on Dec 18, 2024

Issue with GPT-3.5/GPT-4 not continuing partial program as expected

Status: Open.

#84 In namin/llm-verified-with-monte-carlo-tree-search;

· 41968 opened on Jul 31, 2024

Good Work! Any docs for code?

Status: Open.

#81 In namin/llm-verified-with-monte-carlo-tree-search;

· hsz0403 opened on Jun 26, 2024

Roadmap

Status: Open.

#76 In namin/llm-verified-with-monte-carlo-tree-search;

· namin opened on Jun 4, 2024