namin / relaxed-machines
program synthesis with neuro-symbolic differentiable interpreters
☆10Updated last year
Alternatives and similar repositories for relaxed-machines:
Users that are interested in relaxed-machines are comparing it to the libraries listed below
- Dyna built on R-exprs (First Prototype)☆13Updated 2 years ago
- A list of works and resources about double category theory, with a particular focus on applications.☆25Updated 2 years ago
- A Lean 4 package for heavy numerical computations☆18Updated 3 years ago
- ☆9Updated 2 years ago
- How to read Lean☆17Updated last week
- ☆24Updated 2 years ago
- ☆25Updated 2 years ago
- Interfacing with Large Language Models (remote and local) from Lean.☆25Updated 6 months ago
- Bonn Lean course for winter 24/25☆18Updated 3 weeks ago
- A toolkit for higher-dimensional diagram rewriting.☆16Updated 2 years ago
- Metamath verifier in Python☆36Updated 9 months ago
- ☆12Updated 2 years ago
- ☆13Updated 3 years ago
- ☆36Updated 6 months ago
- JudgeD: Probabilistic Datalog with Dependencies☆18Updated 5 years ago
- Automated Reasoning for the Working Mathematician☆11Updated 5 years ago
- Neural Guided Constraint Logic Programming for Program Synthesis☆92Updated 6 years ago
- Category theory in Coq, by Jason Gross☆14Updated 9 years ago
- deep learning for math☆29Updated 5 years ago
- ☆27Updated 3 years ago
- Theory and Applications of Lenses and Optics☆53Updated 2 years ago
- ☆22Updated 2 years ago
- Experiments with some ways of automating reasoning in lean 4☆15Updated 8 months ago
- Operad Programming Language in Haskell, by David Darais☆31Updated 10 years ago
- Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools☆25Updated 7 months ago
- ☆9Updated 4 years ago
- Jupyter notebook for the Lean4 programming language☆24Updated 2 years ago
- ☆25Updated 3 years ago
- Copies of prolog solvers for use from python☆17Updated 6 months ago