Formula-driven Supervised Learning with Recursive Tiling Patterns | IEEE Conference Publication | IEEE Xplore