propositional-logic · GitHub Topics

#计算机科学#Code and datasets for the Tsetlin Machine

tsetlin-machine 机器学习 game-theory propositional-logic pattern-recognition bandit-learning frequent-pattern-mining

Cython 479

2 个月前

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...

tsetlin-machine convolution regression pattern-recognition propositional-logic CUDA gpu incremental autoencoder incremental-computation sparse

Python 147

1 个月前

cair / pyTsetlinMachine

#计算机科学#Implements the Tsetlin Machine, Convolutional Tsetlin Machine, Regression Tsetlin Machine, Weighted Tsetlin Machine, and Embedding Tsetlin Machine, with support for continuous features, multigranulari...

rule-based bandit-learning propositional-logic tsetlin-machine convolution regression frequent-pattern-mining 机器学习 classification embedding

C 140

2 个月前

Centril / refl

Provides a Refl encoding in Rust

propositional-logic type-system Rust

Rust 68

2 年前

touist / touist

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

教学 research problem-solving OCaml smt propositional-logic

OCaml 64

1 年前

cair / convolutional-tsetlin-machine-tutorial

Tutorial on the Convolutional Tsetlin Machine

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

Python 53

4 年前

knowsys / FormaleSysteme

Unterlagen zur Vorlesung "Formale Systeme", Fakultät Informatik, TU Dresden

Regular expression Automaton teaching-materials teaching german complexity propositional-logic

TeX 44

1 年前

cair / pyTsetlinMachineParallel

#计算机科学#Multi-threaded implementation of the Tsetlin Machine, Convolutional Tsetlin Machine, Regression Tsetlin Machine, and Weighted Tsetlin Machine, with support for continuous features and multigranularity...

frequent-pattern-mining bandit-learning propositional-logic tsetlin-machine classification regression convolution 机器学习 interpretable-machine-learning rule-based

C 42

2 年前