Popular GitHub Repositories for Proof Tree

A fast, distributed, high performance gradient boosting (GBT, GBDT, GBRT, GBM or MART) framework based on decision tree algorithms, used for ranking, classification and many other machine learning tasks.

A curated list of practical guide resources of LLMs (LLMs Tree, Examples, Papers)

A CLI tool to convert your codebase into a single LLM prompt with source tree, prompt templating, and token counting.

[NeurIPS 2023] Tree of Thoughts: Deliberate Problem Solving with Large Language Models

The Enterprise-Grade Production-Ready Multi-Agent Orchestration Framework. Website: https://swarms.ai

Official PyTorch implementation of PTS/PSRN: Fast and efficient symbolic expression discovery through parallelized tree search. Evaluates millions of expressions simultaneously on GPU with automated subtree reuse.

A distributed approximate nearest neighborhood search (ANN) library which provides a high quality vector index build, search and distributed online serving toolkits for large scale vector search scenario.

Plug in and Play Implementation of Tree of Thoughts: Deliberate Problem Solving with Large Language Models that Elevates Model Reasoning by atleast 70%

A clean implementation based on AlphaZero for any game in any framework + tutorial + Othello/Gobang/TicTacToe/Connect4 and more

An implementation of the AlphaZero algorithm for Gomoku (also called Gobang or Five in a Row)

Python package for AutoML on Tabular Data with Feature Engineering, Hyper-Parameters Tuning, Explanations and Automatic Documentation

Optimizing inference proxy for LLMs

A python library for decision tree visualization and model interpretation.

behaviac is a framework of the game AI development, and it also can be used as a rapid game prototype design tool. behaviac supports the behavior tree, finite state machine and hierarchical task network(BT, FSM, HTN)

? behavior tree AI for Godot Engine

MuZero

A library of enterprise-grade AI agents designed to democratize artificial intelligence and provide free, open-source alternatives to overvalued Y Combinator startups. If you are excited about democratizing AI access & AI agents, please star ⭐️ this repository and use the link in the readme to join our open source AI research team.

Monte Carlo tree search in JAX

A collection of research papers on decision, classification and regression trees with implementations.

A proof-of-concept jupyter extension which converts english queries into relevant python code