structure-theories

本文提出了一个形式化框架，用于从多元结构理论中构造规范解释，其动机来自 LLM 辅助推理中的结构失效。它区分了非确定性的类型，并为许可的规范化提供了条件，但并未对所有情形建立完全的确定性化。