I 2018 publiserte han et arbeid om en metode for å lære setningslogikk (proposisjonslogikk) som han kalte Tsetlin-maskin, etter Michael Lvovitch Tsetlin og hans Tsetlin automata. Fordeler med metoden er at den bruker primitiver som er enklere og raskere å evaluere i ordinære digitale regnemaskiner. Ulemper med metoden er at signal til støynivå raskt faller ved økende størrelse på signalrommet.