Logic and the 2-Simplicial Transformer.

James Clift Dmitry Doryn Daniel Murfet James Wallbridge

Published in: ICLR (2020)

Keyphrases

fuzzy logic
logic programming
fault diagnosis
machine learning
search engine
modal logic
classical logic
real world
artificial intelligence
decision making
artificial neural networks
predicate logic
asynchronous circuits
power transformers
sound and complete axiomatization