| license: other | |
| license_name: sovereign-source-license-v2 | |
| language: | |
| - en | |
| tags: | |
| - sovereign-compute | |
| - worm-chain | |
| - formal-verification | |
| # bob-reasoning | |
| BOB reasoning model — MCTS agent with PUCT scoring and WORM-sealed proof search. | |
| **Part of the SNAPKITTYWEST Sovereign Compute constellation.** | |
| Unified theory: [10.5281/zenodo.21816366](https://doi.org/10.5281/zenodo.21816366) | |
| [Research Papers →](https://huggingface.co/datasets/Snapkitty/papers) | |
| [GitHub →](https://github.com/SNAPKITTYWEST) | |