@dougmerritt @jnpn It doesn't surprise me at all that logic programs can be represented in this way, but the paper also doesn't seem to solve the problem of efficiently learning logic programs via tensors. So... nothing burger is my cursory takeaway. We've had more insightful methods for years, for example via GNNs.