FACT: Learning Governing Abstractions Behind Integer Sequences