neuro-symbolic-methods