Updated 6 months ago

tmu • Rank 13.3 • Science 49%

Implements the Tsetlin Machine, Coalesced Tsetlin Machine, Convolutional Tsetlin Machine, Regression Tsetlin Machine, and Weighted Tsetlin Machine, with support for continuous features, drop clause, Type III Feedback, focused negative sampling, multi-task classifier, autoencoder, literal budget, and one-vs-one multi-class classifier. TMU is written in Python with wrappers for C and CUDA-based clause evaluation and updating.

Updated 6 months ago

https://github.com/cair/pytsetlinmachine • Rank 10.6 • Science 49%

Implements the Tsetlin Machine, Convolutional Tsetlin Machine, Regression Tsetlin Machine, Weighted Tsetlin Machine, and Embedding Tsetlin Machine, with support for continuous features, multigranularity, clause indexing, and literal budget

Updated 6 months ago

https://github.com/cair/pytsetlinmachineparallel • Rank 7.5 • Science 23%

Multi-threaded implementation of the Tsetlin Machine, Convolutional Tsetlin Machine, Regression Tsetlin Machine, and Weighted Tsetlin Machine, with support for continuous features and multigranularity.

Updated 6 months ago

ctxform • Science 57%

Equivalence checker for contextual formulas

Updated 6 months ago

kr-sat-solver • Science 49%

A built-from-scratch Python-based SAT Solver implementing the DPLL-recursive algorithm. Research and implementations for the Knowledge Representation course at Vrije Universiteit Amsterdam