DebarghaG / proofofthoughtLinks
Proof of thought : LLM-based reasoning using Z3 theorem proving with multiple backend support (SMT2 and JSON DSL)
☆364Updated 2 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.☆238Updated 2 years ago
- Dead Simple LLM Abliteration☆244Updated 10 months ago
- ☆68Updated 2 months ago
- Run and explore Llama models locally with minimal dependencies on CPU☆190Updated last year
- R.L. methods and techniques.☆199Updated last year
- High-Performance Implementation of OpenAI's TikToken.☆465Updated 5 months ago
- A comprehensive suite of tools, built to liberate science by making the creation, evaluation, and dissemination of research more transpar…☆228Updated 4 months ago
- Animating R1's thoughts.☆384Updated 10 months ago
- ☆280Updated 6 months ago
- ☆126Updated 7 months ago
- Multimodal RAG to search and interact locally with technical documents of any kind☆283Updated last month
- Fact Graph☆374Updated last month
- Build data processing and data analysis pipelines that leverage the power of LLMs 🧠☆245Updated 3 weeks ago
- Docker-based inference engine for AMD GPUs☆230Updated last year
- DiscoGrad - automatically differentiate across conditional branches in C++ programs☆209Updated last year
- Advanced Python Function Debugging with MCP Integration.☆57Updated 6 months ago
- Bayesian Optimization as a Coverage Tool for Evaluating LLMs. Accurate evaluation (benchmarking) that's 10 times faster with just a few l…☆287Updated 3 months ago
- A concise text on quantum mechanics, intended for a general mathematical audience including CS, engineering, math, and physics undergrads…☆153Updated 3 months ago
- Rewriting Principia Mathematica in Lean☆136Updated 3 months ago
- Examples and guides for using the VLM Run API☆301Updated last week
- Persistent memory for LLMs and apps. Content-addressed storage with dedupe, compression, full-text and vector search.☆358Updated this week
- This is a framework that implements various parallel reasoning strategies from the literature☆273Updated last week
- ☆199Updated 7 months ago
- Fully neural approach for text chunking☆403Updated 2 months ago
- See Through Your Models☆401Updated 5 months ago
- ai for jq☆248Updated last year
- ☆248Updated 9 months ago
- Your toolkit for autonomous, evolving agent ecosystems. Create, execute, govern, and evolve agents that learn from experience, collaborat…☆447Updated last month
- Heirarchical Navigable Small Worlds☆101Updated 4 months ago
- Absolute minimalistic implementation of a GPT-like transformer using only numpy (<650 lines).☆254Updated 2 years ago