标签
本文提出了一个形式化框架，用于从多元结构理论中构造规范解释，其动机来自 LLM 辅助推理中的结构失效。它区分了非确定性的类型，并为许可的规范化提供了条件，但并未对所有情形建立完全的确定性化。
本文提出一种形式化理论，用于在受控对话AI系统中定义答案重用，用数学刻画的已解析话语的商空间取代相似性启发式方法。