Haven't heard that term before, but one of the things that's been obvious to me to experiment with -- not that I've actually gotten around to it yet -- is to have an LLM try using Prolog, Z3, and/or SQL as tools to overcome some of its weak points. That's naively what I'd expect "neuro-symbolic AI" techniques to be (assuming you're looking at current topics rather than stuff from ~20 years ago), but again, shot in the dark here.