Search Results - RepositoryStats

49

450

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

387 commits to master branch, last one 2 months ago

pyTsetlinMachine cair

24

123

mit

13

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 3 months ago

tmu cair

9

111

mit

7

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,167 commits to main branch, last one 3 months ago

refl Centril

3

68

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

65

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

54

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