馃З Neural-Symbolic AISpecificsymbolic reasoning, program synthesis, logic-guided learning, hybrid systems, constraint solving