formal-semantics

本文利用ChaosNLI数据，衡量形式语义结构在多大程度上解释了自然语言推理（NLI）中的人类标注变异，发现了对熵的群体级效应，但存在项目级上限和空组合效应。

本文介绍了一个具有透明语义的、基于形式化基础的ODRL评估器，支持所有规则类型，并将其性能与现有评估器进行比较，解决了数据访问和AI治理策略建模中的互操作性问题。

本文提出一种形式化理论，用于在受控对话AI系统中定义答案重用，用数学刻画的已解析话语的商空间取代相似性启发式方法。

个人研究页面，收录小型有限表示幺半群及其字问题难度，灵感源自 Swift 编译器使用 Knuth-Bendix 完备化判定泛型签名等价。