标签
本文对古典阿拉伯语形态学进行数学建模，以反驳索绪尔的任意符号论和后现代语义不确定性，证明阿拉伯语词汇意义通过词根-词式配对在结构上被决定，并显示其与印欧语言相比存在系统复杂度不对称性。
本文利用ChaosNLI数据，衡量形式语义结构在多大程度上解释了自然语言推理（NLI）中的人类标注变异，发现了对熵的群体级效应，但存在项目级上限和空组合效应。
本文介绍了一个具有透明语义的、基于形式化基础的ODRL评估器，支持所有规则类型，并将其性能与现有评估器进行比较，解决了数据访问和AI治理策略建模中的互操作性问题。
本文提出一种形式化理论，用于在受控对话AI系统中定义答案重用，用数学刻画的已解析话语的商空间取代相似性启发式方法。
个人研究页面，收录小型有限表示幺半群及其字问题难度，灵感源自 Swift 编译器使用 Knuth-Bendix 完备化判定泛型签名等价。