Formal semantics and high performance in declarative machine learning using Datalog

Jin Wang, Jiacheng Wu, Mingda Li, Jiaqi Gu, Ariyam Das, Carlo Zaniolo