DebarghaG / proofofthoughtLinks
Proof of thought : LLM-based reasoning using Z3 theorem proving with multiple backend support (SMT2 and JSON DSL)
☆362Updated 3 months ago
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☆248Updated 11 months ago
- Implement recursion using English as the programming language and an LLM as the runtime.☆240Updated 2 years ago
- High-Performance Implementation of OpenAI's TikToken.☆467Updated 7 months ago
- A comprehensive suite of tools, built to liberate science by making the creation, evaluation, and dissemination of research more transpar…☆231Updated 5 months ago
- This is a framework that implements various parallel reasoning strategies from the literature☆275Updated last month
- ☆69Updated 3 months ago
- Run and explore Llama models locally with minimal dependencies on CPU☆190Updated last year
- Docker-based inference engine for AMD GPUs☆231Updated last year
- R.L. methods and techniques.☆199Updated last week
- ☆279Updated 7 months ago
- Animating R1's thoughts.☆384Updated 11 months ago
- Multimodal RAG to search and interact locally with technical documents of any kind☆284Updated 2 weeks ago
- Build data processing and data analysis pipelines that leverage the power of LLMs 🧠☆246Updated 2 weeks ago
- ☆126Updated 8 months ago
- ☆200Updated 8 months ago
- Persistent memory for LLMs and apps. Content-addressed storage with dedupe, compression, full-text and vector search.☆363Updated this week
- Examples and guides for using the VLM Run API☆305Updated last week
- Fact Graph☆377Updated 3 months ago
- This project collects GPU benchmarks from various cloud providers and compares them to fixed per token costs. Use our tool for efficient …☆222Updated last year
- CleverBee - The Open Source Deep Researcher Tool☆310Updated this week
- Advanced Python Function Debugging with MCP Integration.☆58Updated 7 months ago
- Bayesian Optimization as a Coverage Tool for Evaluating LLMs. Accurate evaluation (benchmarking) that's 10 times faster with just a few l…☆288Updated 2 weeks ago
- Rewriting Principia Mathematica in Lean☆136Updated last week
- Ultra-minimal personal AI agent: starts small, self-modifies its code live, adapts by writing exactly the code & features you need☆149Updated this week
- ☆164Updated 10 months ago
- A concise text on quantum mechanics, intended for a general mathematical audience including CS, engineering, math, and physics undergrads…☆157Updated 4 months ago
- Heirarchical Navigable Small Worlds☆101Updated 5 months ago
- ☆233Updated this week
- Fully neural approach for text chunking☆406Updated 3 months ago
- ai for jq☆249Updated last year