Dumancic, Sebastijan, Tias Guns, and Andrew Cropper. 2021. “Knowledge Refactoring for Inductive Program Synthesis”. Proceedings of the AAAI Conference on Artificial Intelligence 35 (8):7271-78. https://doi.org/10.1609/aaai.v35i8.16893.