cair / awesome-tsetlin-machine
A curated list of Tsetlin Machine research
☆11Updated last year
Related projects: ⓘ
- Implements the Tsetlin Machine, Coalesced Tsetlin Machine, Convolutional Tsetlin Machine, Regression Tsetlin Machine, and Weighted Tsetli…☆120Updated 3 weeks ago
- Probabilistic programming system for fast and exact symbolic inference☆76Updated 2 months ago
- ☆44Updated 2 years ago
- Scalable Neural-Probabilistic Answer Set Programming☆17Updated 3 months ago
- Lernd is ∂ILP (dILP) framework implementation based on Deepmind's paper Learning Explanatory Rules from Noisy Data.☆24Updated last year
- Differentiable probabilistic answer set programming☆17Updated 3 weeks ago
- Massively Parallel and Asynchronous Architecture for Logic-based AI☆41Updated last year
- ☆35Updated last year
- REBUS: A Robust Evaluation Benchmark of Understanding Symbols☆11Updated last month
- Language-annotated Abstraction and Reasoning Corpus☆76Updated last year
- [Archived] A scalable differentiable probabilistic Datalog engine, with Rust☆72Updated 2 years ago
- A curated collection of papers on probabilistic circuits, computational graphs encoding tractable probability distributions.☆47Updated 7 months ago
- probabilistic logic programming language for statistical modeling☆18Updated 5 months ago
- A language for mental models☆28Updated this week
- A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesis☆23Updated 3 years ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆63Updated 2 months ago
- Code and dataset for the paper "IsarStep: a Benchmark for High-level Mathematical Reasoning"☆10Updated 3 years ago
- ☆15Updated this week
- A fast Tsetlin Machine implementation, intended for production.☆14Updated 3 months ago
- A Scalable Approximate Method for Probabilistic Neurosymbolic Inference☆14Updated last year
- Codebase for VAEL: Bridging Variational Autoencoders and Probabilistic Logic Programming☆19Updated last year
- A programming language for formal/informal computation.☆39Updated 3 months ago
- Official repository for the paper "Neural Differential Equations for Learning to Program Neural Nets Through Continuous Learning Rules" (…☆18Updated last year
- Holographic Reduced Representations☆20Updated 2 months ago
- Alphazero on GPU thanks to CUDA.jl☆32Updated 3 years ago
- An environment for learning formal mathematical reasoning from scratch☆48Updated last month
- ☆25Updated 2 weeks ago
- This repository has implementations of various alternatives to backpropagation for training neural networks.☆12Updated 6 months ago
- A simple hypernetwork implementation in jax using haiku.☆23Updated 2 years ago
- The Energy Transformer block, in JAX☆48Updated 9 months ago