Topic: Neuro-symbolic reasoning