ETH Zürich, 8092 Zürich, Switzerland
Peter Belcak, Ard Kastrati, Flavio Schenker, Roger Wattenhofer
dataset;benchmark;integer;sequences;abstraction;learning;evaluation
FACT: Learning Governing Abstractions Behind Integer Sequences