Search Results - RepositoryStats

51

466

mit

47

Code and datasets for the Tsetlin Machine

game-theory bandit-learning tsetlin-machine machine-learning learning-automata pattern-recognition propositional-logic frequent-pattern-mining

Created 2018-04-02

388 commits to master branch, last one 2 months ago

tmu cair

14

132

mit

10

Implements the Tsetlin Machine, Coalesced Tsetlin Machine, Convolutional Tsetlin Machine, Regression Tsetlin Machine, and Weighted Tsetlin Machine, with support for continuous features, drop clause, T...

gpu cuda sparse regression autoencoder convolution incremental multi-output tsetlin-machine absorbing-states relational-logic pattern-recognition propositional-logic incremental-computation

Created 2021-11-27

1,181 commits to main branch, last one about a month ago

pyTsetlinMachine cair

27

132

mit

12

Implements the Tsetlin Machine, Convolutional Tsetlin Machine, Regression Tsetlin Machine, Weighted Tsetlin Machine, and Embedding Tsetlin Machine, with support for continuous features, multigranulari...

embedding regression rule-based convolution interpretable classification bandit-learning tsetlin-machine machine-learning propositional-logic frequent-pattern-mining

Created 2019-06-11

539 commits to master branch, last one 10 months ago

refl Centril

3

69

apache-2.0

3

Provides a Refl encoding in Rust

gadt rust type-system propositional-logic

Created 2018-01-28

21 commits to master branch, last one 4 years ago

touist touist

12

64

mit

9

TouIST, the IDE & Language for Logic (backed by SAT, SMT and QBF solvers)

qbf sat smt ocaml yices dimacs minisat smt-lib research education problem-solving propositional-logic

Created 2015-01-31

1,570 commits to master branch, last one 3 years ago

convolutional-tsetlin-machine-tutorial cair

13

53

mit

12

Tutorial on the Convolutional Tsetlin Machine

rule-based convolution bandit-learning tsetlin-machine pattern-recognition propositional-logic frequent-pattern-mining interpretable-machine-learning

Created 2019-05-16

363 commits to master branch, last one 3 years ago