实体
Grammatical Framework
Grammatical Framework
PulseAugur coverage of Grammatical Framework — every cluster mentioning Grammatical Framework across labs, papers, and developer communities, ranked by signal.
总计 · 30天
2
90 天内 2
发布 · 30天
0
90 天内 0
论文 · 30天
2
90 天内 2
层级分布 · 90 天
主题
情绪 · 30 天
1 天有情绪数据
最近 · 第 1/1 页 · 共 2 条
-
研究发现数据集多样性是 Transformer 组合泛化的关键
研究人员提出，Transformer 在组合任务中面临的结构泛化困难并非固有缺陷，而是源于数据集的局限性。通过增加数据集中结构类型的多样性，类似于现有词汇类型的多样性，Transformer 表现出更强的组合泛化能力。这一发现挑战了先前认为复合发散是导致这些困难的主要原因的论断，并表明数据集属性显著影响模型性能。
-
新方法将形式化数学转换为自然语言，用于AI证明
一篇新论文介绍了一种名为“符号化非形式化”的方法，该方法可以将形式化数学转换为人类可读的自然语言，且不损失精度。这项技术对于解释人工智能生成的证明特别有用。Informath项目旨在通过使用Dedukti作为各种证明系统（如Agda、Lean和Rocq）的中心枢纽，并利用Grammatical Framework处理多种自然语言的语言准确性来实现这一点。