namin / relaxed-machines
program synthesis with neuro-symbolic differentiable interpreters
☆13Updated last year
Alternatives and similar repositories for relaxed-machines
Users that are interested in relaxed-machines are comparing it to the libraries listed below
Sorting:
- A list of works and resources about double category theory, with a particular focus on applications.☆30Updated 2 years ago
- ☆13Updated 3 years ago
- Automated Reasoning for the Working Mathematician☆11Updated 5 years ago
- How to read Lean☆17Updated 3 months ago
- Slog 1.0☆42Updated 11 months ago
- A Lean 4 package for heavy numerical computations☆18Updated 3 years ago
- Relational interpeter combining miniKanren-in-miniKanren and Scheme-in-miniKanren☆16Updated 5 months ago
- Neural Guided Constraint Logic Programming for Program Synthesis☆93Updated 6 years ago
- Certified Machine Learning☆41Updated 4 years ago
- Relational interpreter for miniKanren, in miniKanren.☆14Updated 3 years ago
- Partial Commutative Monoids☆28Updated last week
- A verified tensor library in Lean☆23Updated this week
- ☆9Updated 2 years ago
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆20Updated 2 years ago
- Bonn Lean course for winter 24/25☆29Updated 4 months ago
- Haskell library for representing and manipulating Symbolic Regression Tree☆11Updated 2 weeks ago
- Formalization of category theory in Agda☆15Updated 2 years ago
- Modification to Coq to record intermediate proof states encountered during a proof☆8Updated 6 years ago
- A toolkit for higher-dimensional diagram rewriting.☆17Updated 2 years ago
- Interfacing with Large Language Models (remote and local) from Lean.☆26Updated 9 months ago
- First-order automated theorem prover based on the tableau method☆15Updated 5 months ago
- ☆10Updated 5 years ago
- ☆12Updated 2 years ago
- Category Theory & Cobordism Categories in Lean 4☆16Updated 10 months ago
- Coq library and tactic for deciding Kleene algebras [maintainer=@tchajed]☆23Updated 6 months ago
- Coq library for serialization to S-expressions☆19Updated last year
- A proof of Abel-Ruffini theorem.☆29Updated 2 months ago
- A Gradual Dependently-typed Language☆14Updated 5 years ago
- Exploration of primes, factorization and number theory through haskell☆10Updated 8 years ago
- Experiments with some ways of automating reasoning in lean 4☆16Updated last year