deepclause / deepclause-desktopLinks
DeepClause Desktop App
☆83Updated 3 weeks ago
Alternatives and similar repositories for deepclause-desktop
Users that are interested in deepclause-desktop are comparing it to the libraries listed below
Sorting:
- A MCP server for symbolic manipulation of mathematical expressions☆53Updated 7 months ago
- Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools☆33Updated 4 months ago
- Using Large Language Models for Repo-wide Type Prediction☆114Updated 2 years ago
- Model Context Protocol (MCP) server for constraint optimization and solving"☆150Updated 4 months ago
- Reproduction Package for the paper "Type-Constrained Code Generation with Language Models" [PLDI 2025]☆79Updated 7 months ago
- LLM verified with Monte Carlo Tree Search☆284Updated 10 months ago
- A model context protocol server for solving combinatorial optimization problems with logical and numerical constraints.☆62Updated 2 weeks ago
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆12Updated 5 months ago
- An experiment in using DuckDB for a datalog / egg☆27Updated 2 years ago
- ☆53Updated 5 months ago
- program synthesis with neuro-symbolic differentiable interpreters☆17Updated 4 months ago
- Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …☆75Updated 6 months ago
- A lightweight code assistant with tool-using capabilities built on HuggingFace's smolagents.☆41Updated 7 months ago
- ☆40Updated 9 months ago
- Python library for program synthesis and symbolic execution combining constraint solving and LLMs☆38Updated 2 weeks ago
- A Low Barrier Proof Assistant☆153Updated this week
- Reasoning Computers. Lambda Calculus, Fully Differentiable. Also Neural Stacks, Queues, Arrays, Lists, Trees, and Latches.☆285Updated last year
- RASP-L in Haskell for my fellow rascals☆20Updated 2 years ago
- ☆23Updated 3 months ago
- Certified Reasoning with Language Models☆31Updated 2 years ago
- A high-level programming language☆40Updated last year
- Training GPTs to solve interaction nets☆18Updated last year
- a curated list of data for reasoning ai☆141Updated last year
- 🧬 The Huxley-Gödel Machine☆322Updated 2 months ago
- Straightforward unification in Python that's extensible via generic functions.☆53Updated 3 months ago
- Use context-free grammars with an LLM☆174Updated last year
- Full Automation of Goal-driven LLM Dialog Threads with And-Or Recursors and Refiner Oracles☆45Updated 5 months ago
- explore token trajectory trees on instruct and base models☆150Updated 8 months ago
- ☆125Updated last year
- Discussion of MeTTa programming with examples☆34Updated 5 months ago