Neurosymbolic artificial intelligence via large language models and coherence-driven inference. - Steve Huntsman; Jewell Thomas (CoRR, 2025)