cair / awesome-tsetlin-machineLinks
A curated list of Tsetlin Machine research
☆15Updated 2 years ago
Alternatives and similar repositories for awesome-tsetlin-machine
Users that are interested in awesome-tsetlin-machine are comparing it to the libraries listed below
Sorting:
- Implements the Tsetlin Machine, Coalesced Tsetlin Machine, Convolutional Tsetlin Machine, Regression Tsetlin Machine, and Weighted Tsetli…☆147Updated last month
- Probabilistic programming system for fast and exact symbolic inference☆80Updated 11 months ago
- Massively Parallel and Asynchronous Architecture for Logic-based AI☆42Updated 2 years ago
- Code accompanying the manuscript "Constructions in combinatorics via neural networks and LP solvers".☆19Updated 3 years ago
- Implements the Tsetlin Machine, Convolutional Tsetlin Machine, Regression Tsetlin Machine, Weighted Tsetlin Machine, and Embedding Tsetli…☆141Updated 2 months ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆64Updated 11 months ago
- A collection of problem specifications in Essence.☆10Updated last month
- Lernd is ∂ILP (dILP) framework implementation based on Deepmind's paper Learning Explanatory Rules from Noisy Data.☆25Updated 2 years ago
- Deep relational learning through differentiable logic programming.☆105Updated 11 months ago
- [Archived] A scalable differentiable probabilistic Datalog engine, with Rust☆73Updated 3 years ago
- The Energy Transformer block, in JAX☆58Updated last year
- Scalable Neural-Probabilistic Answer Set Programming☆17Updated last year
- A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesis☆23Updated 4 years ago
- Scruff.jl☆36Updated 2 months ago
- Differentiable probabilistic answer set programming☆23Updated this week
- Codebase for Neuro-Symbolic Continual Learning.☆22Updated last year
- Official repository for the paper "Can You Learn an Algorithm? Generalizing from Easy to Hard Problems with Recurrent Networks"☆59Updated 3 years ago
- GATlab: a computer algebra system based on generalized algebraic theories (GATs)☆29Updated last month
- ☆37Updated 7 months ago
- The Tsetlin Machine library, with zero external dependencies, performs blazingly fast.☆41Updated last month
- A fast Tsetlin Machine implementation, intended for production.☆17Updated this week
- A curated collection of papers on probabilistic circuits, computational graphs encoding tractable probability distributions.☆50Updated last year
- A programming language for formal/informal computation.☆41Updated this week
- Codebase for VAEL: Bridging Variational Autoencoders and Probabilistic Logic Programming☆20Updated last year
- Code and dataset for the paper "IsarStep: a Benchmark for High-level Mathematical Reasoning"☆12Updated 4 years ago
- An environment for learning formal mathematical reasoning from scratch☆70Updated 10 months ago
- ☆67Updated 3 years ago
- Rust bindings to GAP (Groups, Algorithms, Programming)☆24Updated last year
- Adaptive Neuro-Symbolic Network Agent☆38Updated 3 years ago
- Combinatorial optimization layers for machine learning pipelines☆125Updated 2 months ago