本文使用 Lambek's pregroups 和 compositional distributional models of language (DisCoCat) 框架，研究了从日语到英语的翻译，作为函子对。通过对 pregroups 添加修饰，展示了如何处理语言之间的词序变化。

Mar, 2023

本研究通过对指定的子字符串进行局部应用前循环排列来丰富 pregroups。我们证明了这种代数结构的归一化定理，并简要地规范化了 pregroups 在某些自然语言的代词分析中的应用

Mar, 2023

本文介绍了由 Kartsaklis，Ramgoolam 和 Sadrzadeh 引入的语言矩阵理论（Linguistic Matrix Theory）计划，旨在研究基于置换不变多项式函数的矩阵统计学，从组合式分布语义（compositional distributional semantics）中生成的矩阵分布的近似高斯性，介绍了一个单词的可观察向量的几何形状，成功地将此一统一框架应用于计算语言学的许多任务，包括近义词、反义词、上位词和下位词之间的区别。

Feb, 2022

本文从数学表示理论的角度研究了学习具有预先指定的变换不变性的字典的问题，并使用非阿贝尔傅里叶分析提出了算法有效实现了学习。通过将字典学习问题与物理域中的问题以及相关的计算问题联系起来，本文为我们提供了一种处理具有对称性的问题的新视角，使我们得以引入带限制的方法来进行降维，并为学习 SO（3）不变字典提供了一种有效的方法，本文提供了有关我们计算方法的保证。

May, 2023

通过计算机搜索，对于完全交的积空间中的自由商，分类为非简单连通的 Calabi-Yau 三倍体，进而识别其上所有下传到对 Calabi-Yau 流形的自由作用的自同构。

Mar, 2010

证明了图同构问题、在群作用下的字符串同构问题、余集交问题可以在准多项式时间内解决，利用群论中的 “局部证书” 和组合上的规范分割技术攻击了 Luks 算法的障碍配置。

Dec, 2015

介绍一个新的概率模型，它针对紧致交换李群进行不变 - 等变和解开聚合表示数据。使用从物理学中借用的基本原理来定义解开概念。训练模型并表明学习到的不变表示对于分类非常有效。

Feb, 2014

简述：讨论如何使用相应的不变测度概率分布从经典紧致群 U（N）、O（N）和 USp（N）中生成随机的幺正矩阵，该算法使用标准线性代数包实现，且可扩展到 Dyson 环集。

Sep, 2006

我们提出了一个具体的表面表示法，用于在字母表中使用词语装饰的特定双分图中表示抽象范畴语法，这些图形推广了线性逻辑证明网。我们还介绍和研究了直接基于双分图的线性逻辑语法，并使用经典乘性线性逻辑作为类型系统。

Jul, 2021

使用简单的代数论证了多项式函数在酉群、正交群和辛群上的 Haar 测度下的积分。得出了精确公式和渐近行为，并证明了 Haar 分布的正交和辛随机矩阵的渐近自由性以及类似 Itzykson-Zuber 积分的收敛性。

Feb, 2004