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:
- Dead Simple LLM Abliteration☆245Updated 10 months ago
- Implement recursion using English as the programming language and an LLM as the runtime.☆239Updated 2 years ago
- Run and explore Llama models locally with minimal dependencies on CPU☆190Updated last year
- ☆69Updated 2 months ago
- ☆126Updated 7 months ago
- High-Performance Implementation of OpenAI's TikToken.☆467Updated 6 months ago
- Animating R1's thoughts.☆384Updated 10 months ago
- Multimodal RAG to search and interact locally with technical documents of any kind☆284Updated 2 months ago
- ☆199Updated 8 months ago
- A comprehensive suite of tools, built to liberate science by making the creation, evaluation, and dissemination of research more transpar…☆228Updated 5 months ago
- R.L. methods and techniques.☆199Updated this week
- Docker-based inference engine for AMD GPUs☆231Updated last year
- Fact Graph☆378Updated 2 months ago
- Examples and guides for using the VLM Run API☆304Updated last week
- Persistent memory for LLMs and apps. Content-addressed storage with dedupe, compression, full-text and vector search.☆360Updated this week
- Build data processing and data analysis pipelines that leverage the power of LLMs 🧠☆246Updated last month
- This is a framework that implements various parallel reasoning strategies from the literature☆274Updated 3 weeks ago
- Bayesian Optimization as a Coverage Tool for Evaluating LLMs. Accurate evaluation (benchmarking) that's 10 times faster with just a few l…☆287Updated 4 months ago
- Absolute minimalistic implementation of a GPT-like transformer using only numpy (<650 lines).☆254Updated 2 years ago
- Heirarchical Navigable Small Worlds☆101Updated 5 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
- ☆252Updated 10 months ago
- ☆280Updated 7 months ago
- Applying the ideas of Deepseek R1 to computer use☆221Updated 11 months ago
- DiscoGrad - automatically differentiate across conditional branches in C++ programs☆209Updated last year
- ☆163Updated 9 months ago
- Advanced Python Function Debugging with MCP Integration.☆57Updated 6 months ago
- Run larger LLMs with longer contexts on Apple Silicon by using differentiated precision for KV cache quantization. KVSplit enables 8-bit …☆362Updated 7 months ago
- A concise text on quantum mechanics, intended for a general mathematical audience including CS, engineering, math, and physics undergrads…☆154Updated 4 months ago
- Rewriting Principia Mathematica in Lean☆136Updated this week