Verifying Properties of Tsetlin Machines

1 code implementation • 25 Mar 2023 • Emilia Przybysz, Bimal Bhattarai, Cosimo Persia, Ana Ozaki, Ole-Christoffer Granmo, Jivitesh Sharma

Then, we show the correctness of our encoding and provide results for the properties: adversarial robustness, equivalence, and similarity of TsMs.

Adversarial Robustness Interpretable Machine Learning +2