Sep 30, 2025 Literature Review: Sound and Complete Neurosymbolic Reasoning with LLM-Grounded Interpretations