The learning of the simplest possible computational pattern-periodicity-is an open problem
in the research of strong generalisation in neural networks. We formalise the problem of …

We propose a novel, fully explainable neural approach to synthesis of combinatorial logic
circuits from input-output examples. The carrying advantage of our method is that it readily …

We investigate the ability of transformer models to build representations of integer
sequences that are of utility to tasks where deeper mathematical understanding is needed …