formal language | BriefGPT - AI 论文速递

关键词formal language

搜索结果 - 10

通过问答探究语言模型对结构化语义理解和生成的能力
最近大规模语言模型能力的进步引发了对其评估的新浪潮，这篇研究工作通过在自然语言和形式语言之间的相互转换来验证大规模语言模型理解和生成结构化逻辑形式的能力，实验证明现今最先进的大规模语言模型在理解逻辑形式方面整体上接近人类水平，但在生成正确逻
PDF6 months ago
使用 RNN Seq2seq 模型学习跨序列转换和对齐
本研究使用递归神经网络序列对序列 (RNN seq2seq) 模型，研究其在学习四种字符串转换任务（相同、反向、完全重复和指定输入重复）方面的能力，发现虽然关注度有助于学习，但是其结果仍存在显著局限性。此外本研究结果更好地说明了形式语言的复
PDFa year ago
利用大型语言模型实现数学形式化辅助工具
本研究使用大型语言模型 (Codex) 探讨将使用自然语言书写的数学（即定义，定理陈述和证明）转化为可以被程序检查正确性的形式语言的能力，并发现对于 120 个定理，Codex 可以在本科水平上以近 75％的准确率进行短数学陈述的形式化。同
PDF2 years ago
ACLSeqZero：使用序列提示和零 - shot 模型进行少样本组合语义分析
SeqZero 提出了一种基于分解子问题的 few-shot 语义分析方法，通过使用预训练语言模型生成简短答案，避免在一次生成长的规范化语句的过程中遗忘预先的知识，同时利用零 - shot 模型来减轻过拟合的问题，并结合了一种约束重缩放的方
PDF2 years ago
ACLInter-GPS: 可解释的几何问题求解与形式化语言及符号推理
构建了一个大规模的几何问题的数据集，并提出了一种基于形式语言和符号推理的新的解决方案，称为可解释几何问题求解器 (Inter-GPS)，其能够显著提高当前方法的解决几何问题的效果。
PDF3 years ago
MM从代数语言问题到程序：一种规范化方法
本文提出了一种将小学代数单词问题转化为正式语言 A-IMP 的程序的流程，使用自然语言处理工具将问题分解成句子片段，然后按照头动词和句子结构将函数分类，在文本中提取函数签名和参数，使用依赖解析，取得了整个流程的可用实现。
PDF4 years ago
使用视觉语言和实用推理解决 Bongard 问题
本文介绍了用图像处理提取的视觉特征，并将其转化为符号视觉词汇的视觉概念学习问题。使用贝叶斯推理和形式语言，可以从提供的 Bongard 问题示例中引出复杂的视觉概念，并考虑语用推理，该方法解决了一大部分 Bongard 问题，但距离全面解决
PDF6 years ago
逻辑归纳
本文介绍了一种适用于给定形式语言中的任何逻辑语句并随时间精细调整概率的可计算算法，并证明了其在学习预测逻辑陈述中真实和虚假的模式、使用恰当的统计摘要预测具有伪随机的真值序列、拥有关于自身的精确信念、且在极限情况下，其信念有着一种自洽性的优势
PDF8 years ago
MMKB 范式及其在交互式配置中的应用
本文分析了知识库范式在交互式配置问题中的原则和可行性，并表明在形式化配置领域的规范化说明上应用不同形式的逻辑推理，可以实现该领域的多种功能。通过在银行业的实际应用实现了该方法的概念验证。
PDF8 years ago
基于 Lambda 依赖的组合语义学
介绍了一种新的正式语言， lambda 依赖组合语义（lambda DCS），用于表示语义解析中的逻辑形式。lambda DCS 逻辑形式通过消除变量并使存在量词隐式化，通常比 lambda 演算中的形式更紧凑。
PDF11 years ago