Code and datasets for the Tsetlin Machine
Implements the Tsetlin Machine, Convolutional Tsetlin Machine, Regressio...
Provides a Refl encoding in Rust
TouIST, the IDE & Language for Logic (backed by SAT, SMT and QBF solvers)
Tutorial on the Convolutional Tsetlin Machine
Unterlagen zur Vorlesung "Formale Systeme", Fakultät Informatik, TU Dresden
Multi-threaded implementation of the Tsetlin Machine, Convolutional Tset...
An Inference Engine based on Propositional Calculus written in Common Lisp