GitHub - mingusb/decision-programs: C++23/CUDA research software for compact, exact decision programs from XGBoost: executable rules, model combination, learned compression, and Lean proofs. By Brian Mingus.

Repository navigation

decision-programs

Public

About

C++23/CUDA research software for compact, exact decision programs from XGBoost: executable rules, model combination, learned compression, and Lean proofs. By Brian Mingus.

brianmingus.com/papers/exact-decisions-white-paper.pdf

cpp23 cuda decision-trees explainable-ai lean4 model-compression reinforcement-learning xgboost

Readme

MIT license

Activity

0 stars

0 watching

Name		Name	Last commit message	Last commit date
.github/workflows		.github/workflows
cmake		cmake
docs		docs
examples		examples
formal		formal
native		native
.gitattributes		.gitattributes
.gitignore		.gitignore
AGENTS.md		AGENTS.md
CHANGELOG.md		CHANGELOG.md
CITATION.cff		CITATION.cff
CMakeLists.txt		CMakeLists.txt
CMakePresets.json		CMakePresets.json
LICENSE		LICENSE
PROJECT_GUIDE.md		PROJECT_GUIDE.md
README.md		README.md
THIRD_PARTY_NOTICES.md		THIRD_PARTY_NOTICES.md
project-overview.png		project-overview.png

Repository files navigation