DebarghaG / proofofthoughtLinks
Proof of thought : LLM-based reasoning using Z3 theorem proving with multiple backend support (SMT2 and JSON DSL)
☆357Updated last month
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
- ☆68Updated last month
- Dead Simple LLM Abliteration☆243Updated 9 months ago
- High-Performance Implementation of OpenAI's TikToken.☆462Updated 5 months ago
- R.L. methods and techniques.☆199Updated last year
- Run and explore Llama models locally with minimal dependencies on CPU☆190Updated last year
- A comprehensive suite of tools, built to liberate science by making the creation, evaluation, and dissemination of research more transpar…☆225Updated 3 months ago
- Multimodal RAG to search and interact locally with technical documents of any kind☆279Updated 3 weeks ago
- ☆125Updated 6 months ago
- Examples and guides for using the VLM Run API☆297Updated this week
- Parallel thinking for LLMs. Confidence‑gated, strategy‑driven, offline‑friendly☆258Updated 2 months ago
- Docker-based inference engine for AMD GPUs☆230Updated last year
- Animating R1's thoughts.☆386Updated 9 months ago
- DiscoGrad - automatically differentiate across conditional branches in C++ programs☆209Updated last year
- ☆242Updated 9 months ago
- Fully neural approach for text chunking☆401Updated last month
- A concise text on quantum mechanics, intended for a general mathematical audience including CS, engineering, math, and physics undergrads…☆152Updated 3 months ago
- ☆280Updated 5 months ago
- Fact Graph☆363Updated last month
- Build data processing and data analysis pipelines that leverage the power of LLMs 🧠☆242Updated this week
- ☆199Updated 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…☆286Updated 2 months ago
- Content addressable storage with excellent search☆356Updated last week
- Heirarchical Navigable Small Worlds☆101Updated 3 months ago
- Revealing example of self-attention, the building block of transformer AI models☆131Updated 2 years ago
- Bridging the Gap Between Semantic and Interaction Similarity in Recommender Systems☆106Updated 8 months ago
- Rewriting Principia Mathematica in Lean☆136Updated 2 months ago
- ai for jq☆246Updated last year
- Advanced Python Function Debugging with MCP Integration.☆57Updated 5 months ago
- Optimally allocate poker chips using constrained, nonlinear optimization☆174Updated 11 months ago