DebarghaG / proofofthoughtLinks
Proof of thought : LLM-based reasoning using Z3 theorem proving with multiple backend support (SMT2 and JSON DSL)
☆350Updated 3 weeks ago
Alternatives and similar repositories for proofofthought
Users that are interested in proofofthought are comparing it to the libraries listed below
Sorting:
- Run and explore Llama models locally with minimal dependencies on CPU☆190Updated last year
- Dead Simple LLM Abliteration☆235Updated 8 months ago
- Implement recursion using English as the programming language and an LLM as the runtime.☆237Updated 2 years ago
- ☆68Updated 3 weeks ago
- ☆198Updated 6 months ago
- Docker-based inference engine for AMD GPUs☆230Updated last year
- A comprehensive suite of tools, built to liberate science by making the creation, evaluation, and dissemination of research more transpar…☆224Updated 3 months ago
- High-Performance Implementation of OpenAI's TikToken.☆460Updated 4 months ago
- Examples and guides for using the VLM Run API☆297Updated last month
- Multimodal RAG to search and interact locally with technical documents of any kind☆278Updated last week
- Fact Graph☆354Updated 2 weeks ago
- R.L. methods and techniques.☆199Updated 11 months ago
- Parallel thinking for LLMs. Confidence‑gated, strategy‑driven, offline‑friendly☆258Updated 2 months ago
- ☆281Updated 5 months ago
- Rewriting Principia Mathematica in Lean☆135Updated 2 months ago
- Animating R1's thoughts.☆386Updated 8 months ago
- 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
- ☆126Updated 5 months ago
- DiscoGrad - automatically differentiate across conditional branches in C++ programs☆208Updated last year
- Bayesian Optimization as a Coverage Tool for Evaluating LLMs. Accurate evaluation (benchmarking) that's 10 times faster with just a few l…☆285Updated 2 months ago
- Advanced Python Function Debugging with MCP Integration.☆57Updated 4 months ago
- Heirarchical Navigable Small Worlds☆101Updated 3 months ago
- Absolute minimalistic implementation of a GPT-like transformer using only numpy (<650 lines).☆254Updated last year
- This project collects GPU benchmarks from various cloud providers and compares them to fixed per token costs. Use our tool for efficient …☆222Updated 10 months ago
- Build data processing and data analysis pipelines that leverage the power of LLMs 🧠☆227Updated this week
- A concise text on quantum mechanics, intended for a general mathematical audience including CS, engineering, math, and physics undergrads…☆150Updated 2 months ago
- Fully neural approach for text chunking☆392Updated 3 weeks ago
- Lamport's Bakery Algorithm Demonstrated in Python☆95Updated last year
- Browser-LLM Auto-Scaling Technology☆751Updated last week
- ☆161Updated 7 months ago