Tag
The paper proposes a neurosymbolic framework that lifts LLM outputs into typed compositional derivations using Combinatory Categorial Grammar, enabling structural checking and early hallucination detection.