DebarghaG / proofofthoughtLinks
Proof of thought : LLM-based reasoning using Z3 theorem proving with multiple backend support (SMT2 and JSON DSL)
☆364Updated 3 months ago
Alternatives and similar repositories for proofofthought
Users that are interested in proofofthought are comparing it to the libraries listed below
Sorting:
- Implement recursion using English as the programming language and an LLM as the runtime.☆240Updated 2 years ago
- Examples and guides for using the VLM Run API☆305Updated last week
- Run and explore Llama models locally with minimal dependencies on CPU☆190Updated last year
- High-Performance Implementation of OpenAI's TikToken.☆467Updated 7 months ago
- Docker-based inference engine for AMD GPUs☆231Updated last year
- ☆279Updated 8 months ago
- Dead Simple LLM Abliteration☆248Updated 11 months ago
- R.L. methods and techniques.☆199Updated 2 weeks ago
- Advanced Python Function Debugging with MCP Integration.☆58Updated 7 months ago
- ☆200Updated 9 months ago
- Multimodal RAG to search and interact locally with technical documents of any kind☆283Updated 2 weeks ago
- ☆69Updated 3 months ago
- Animating R1's thoughts.☆384Updated 11 months ago
- Run larger LLMs with longer contexts on Apple Silicon by using differentiated precision for KV cache quantization. KVSplit enables 8-bit …☆363Updated 8 months ago
- Fact Graph☆377Updated last week
- A comprehensive suite of tools, built to liberate science by making the creation, evaluation, and dissemination of research more transpar…☆231Updated 6 months ago
- Persistent memory for LLMs and apps. Content-addressed storage with dedupe, compression, full-text and vector search.☆364Updated this week
- Heirarchical Navigable Small Worlds☆101Updated 6 months ago
- Build data processing and data analysis pipelines that leverage the power of LLMs 🧠☆247Updated 3 weeks ago
- A concise text on quantum mechanics, intended for a general mathematical audience including CS, engineering, math, and physics undergrads…☆157Updated 5 months ago
- ☆126Updated 8 months ago
- CleverBee - The Open Source Deep Researcher Tool☆310Updated last week
- Rewriting Principia Mathematica in Lean☆138Updated this week
- This is a framework that implements various parallel reasoning strategies from the literature☆275Updated last month
- Lamport's Bakery Algorithm Demonstrated in Python☆95Updated 2 years ago
- Bayesian Optimization as a Coverage Tool for Evaluating LLMs. Accurate evaluation (benchmarking) that's 10 times faster with just a few l…☆288Updated 3 weeks ago
- Absolute minimalistic implementation of a GPT-like transformer using only numpy (<650 lines).☆254Updated 2 years ago
- Applying the ideas of Deepseek R1 to computer use☆221Updated last year
- This project collects GPU benchmarks from various cloud providers and compares them to fixed per token costs. Use our tool for efficient …☆223Updated last year
- Fully neural approach for text chunking☆406Updated 3 months ago