Combine neural learning with rules, constraints, programs, and structured knowledge to improve reasoning and verifiability.
