Sound and Complete Neurosymbolic Reasoning with LLM-Grounded Interpretations

Open in new window