These guys are trying to combine symbolic reasoning with LLMs somehow: https://www.symbolica.ai/
check out Imandra's platform for neurosymbolic AI - https://www.imandra.ai/