FACT: Learning Governing Abstractions Behind Integer Sequences - Belcak, Peter; Kastrati, Ard; Schenker, Flavio; Wattenhofer, Roger (Advances in Neural Information Processing Systems, 2022)