Any neuro-symbolic ai practitioners?

[adamv]

We know that llm’s are not the best in hard logical thinking.
I heard before about formal proof languages like TLA+
Lately I found neuro-symbolic ai. Do you already had chance to work with that?