neuro-symbolic logic problem solver