DebarghaG / proofofthoughtLinks
Proof of thought : LLM-based reasoning using Z3 theorem proving with multiple backend support (SMT2 and JSON DSL)
☆342Updated last week
Alternatives and similar repositories for proofofthought
Users that are interested in proofofthought are comparing it to the libraries listed below
Sorting:
- Dead Simple LLM Abliteration☆232Updated 8 months ago
- Implement recursion using English as the programming language and an LLM as the runtime.☆236Updated 2 years ago
- ☆67Updated last week
- High-Performance Implementation of OpenAI's TikToken.☆458Updated 3 months ago
- ☆126Updated 5 months ago
- R.L. methods and techniques.☆200Updated 11 months ago
- Docker-based inference engine for AMD GPUs☆230Updated last year
- ☆281Updated 4 months ago
- A comprehensive suite of tools, built to liberate science by making the creation, evaluation, and dissemination of research more transpar…☆222Updated 2 months ago
- Run and explore Llama models locally with minimal dependencies on CPU☆189Updated last year
- Animating R1's thoughts.☆385Updated 8 months ago
- Multimodal RAG to search and interact locally with technical documents of any kind☆252Updated this week
- Fact Graph☆287Updated last week
- Heirarchical Navigable Small Worlds☆101Updated 2 months ago
- Build data processing and data analysis pipelines that leverage the power of LLMs 🧠☆226Updated this week
- Examples and guides for using the VLM Run API☆295Updated 3 weeks ago
- Rewriting Principia Mathematica in Lean☆134Updated last month
- DiscoGrad - automatically differentiate across conditional branches in C++ programs☆208Updated last year
- fractal-structure inspired, parent-children orbiting, zooming-elements based interactive graph visualization user interface☆129Updated 7 months ago
- This is a numpy implementation of the Skip-gram algorithm described in Mikolov et al's Word2Vec paper. It is intended for didactic purpos…☆36Updated 2 years ago
- Advanced Python Function Debugging with MCP Integration.☆57Updated 4 months ago
- Bayesian Optimization as a Coverage Tool for Evaluating LLMs. Accurate evaluation (benchmarking) that's 10 times faster with just a few l…☆286Updated last month
- Run larger LLMs with longer contexts on Apple Silicon by using differentiated precision for KV cache quantization. KVSplit enables 8-bit …☆360Updated 5 months ago
- ☆196Updated 5 months ago
- Content addressable storage with excellent search☆351Updated last week
- Generate Cool-Looking Mazes and Animations Illustrating the A* Pathfinding Algorithm☆177Updated 7 months ago
- Fully neural approach for text chunking☆378Updated this week
- ☆162Updated 7 months ago
- Parallel thinking for LLMs. Confidence‑gated, strategy‑driven, offline‑friendly☆257Updated last month
- CleverBee - The Open Source Deep Researcher Tool☆306Updated 4 months ago