combinatory-categorial-grammar

本文提出了一种神经符号框架，利用组合范畴语法将LLM输出提升为类型化组合推导，从而实现结构检查和早期幻觉检测。