DebarghaG / proofofthoughtLinks
"Proof of thought: Neurosymbolic program synthesis allows robust and interpretable reasoning" published Sys2Reasoning Workshop NeurIPS 2024
☆284Updated this week
Alternatives and similar repositories for proofofthought
Users that are interested in proofofthought are comparing it to the libraries listed below
Sorting:
- fractal-structure inspired, parent-children orbiting, zooming-elements based interactive graph visualization user interface☆130Updated 7 months ago
- Dead Simple LLM Abliteration☆232Updated 7 months ago
- Docker-based inference engine for AMD GPUs☆230Updated 11 months ago
- Implement recursion using English as the programming language and an LLM as the runtime.☆238Updated 2 years ago
- A comprehensive suite of tools, built to liberate science by making the creation, evaluation, and dissemination of research more transpar…☆213Updated last month
- ☆280Updated 3 months ago
- Run and explore Llama models locally with minimal dependencies on CPU☆189Updated 11 months ago
- ☆163Updated 6 months ago
- ☆125Updated 4 months ago
- Advanced Python Function Debugging with MCP Integration.☆57Updated 3 months ago
- ☆66Updated 4 months ago
- ai for jq☆244Updated last year
- LLM plugin for pulling content from Hacker News☆118Updated 5 months ago
- Examples and guides for using the VLM Run API☆293Updated 2 months ago
- Optimally allocate poker chips using constrained, nonlinear optimization☆174Updated 9 months ago
- LLM-generated real-time commentary for Pong☆153Updated 5 months ago
- Multimodal RAG to search and interact locally with technical documents of any kind☆252Updated 2 months ago
- Build data processing and data analysis pipelines that leverage the power of LLMs 🧠☆224Updated this week
- A monitoring station for carnivorous flora.☆130Updated 4 months ago
- Radient turns many data types (not just text) into vectors for similarity search, RAG, regression analysis, and more.☆280Updated last month
- Pragmatic framework to build LLM Copilots☆63Updated 6 months ago
- This project collects GPU benchmarks from various cloud providers and compares them to fixed per token costs. Use our tool for efficient …☆219Updated 9 months ago
- ☆72Updated last year
- ☆196Updated 5 months ago
- GUI for selecting text files for concatenation and submission to LLMs☆178Updated 2 months ago
- A data and code editor that feels like a spreadsheet.☆163Updated last year
- ☆135Updated last month
- Mapping the French Culinary Universe☆48Updated 7 months ago
- Documentation and code for Hack the MontyHome device for extended applications.☆232Updated 3 months ago
- AI powered cli coding agent that monitors your dev/test server and fixes errors and adds features☆199Updated last year