Combining deep learning and program synthesis to tackle ARC-AGI · Digg