I wonder if a set of learned function (can|does) reproduce the truth tables from First Order Logic. I think it'd be easy to check. ---- Anyways that's great

I wonder if a set of learned function (can|does) reproduce the truth tables from First Order Logic. I think it'd be easy to check. ---- Anyways that's great news for differentiability. For now 'if' conditions expressed in JAX are tricky (at least for me), and are de facto an optimization barrier. If they're learnable and already into the network, I'd say that's a great thing.