recursion | BriefGPT - AI 论文速递

关键词recursion

搜索结果 - 10

如俄罗斯套娃般”：分析计算机科学学生使用大型语言模型所生成的递归类比
将复杂的计算概念与熟悉的经验和理解相联系通常是学生面临的挑战之一。为了帮助学生更好地理解，一个好的类比可以弥补陌生概念与熟悉概念之间的差距，提供一种有趣的学习方式。本研究调查了大型语言模型（特别是 ChatGPT）是否能够按需提供与个人相关
PDF4 months ago
极简语法：无过度生成的构建
本研究论文介绍了如何编写一种简约语法（MG），通过使用一种上下文无关文法（CFG）的变体作为输入格式，以算法的形式给出编写指南。该方法通过利用许可者和被许可者来处理异常情况，避免 CFG 中的递归导致过度生成，并通过适当分配许可者和被许可者
PDF8 months ago
EMNLP推递层：在变形金刚语言模型中编码递归结构
递归是人类语言的一项突出特征，由于缺乏明确的递归状态跟踪机制，对自我关注来说是一项根本性的挑战。本研究引入了推入式层，这是一种新的自我关注层，通过跟踪已观察前缀的增量解析中每个令牌的估计深度，模拟了递归状态。使用推入式层的 Transfor
PDF8 months ago
大型语言模型与 (非) 语言递归
本研究旨在利用多种提示设计来唤起和分析 LLMs 中的递归行为，同时论证了 GPT-4 可以在明确提示的情况下产生和分析递归结构，也是第一次研究语言模型中类元语言意识是否会出现的研究之一。
PDFa year ago
递归强化学习
研究递归在强化学习中的应用，提出一种递归马尔可夫决策过程和概率下推系统的等价表示方法，结合 Recursive Q-learning 算法，用于解决这一问题。
PDF2 years ago
MM本地紧凑程序的验证
本文介绍了 ANTHEM 的应用，它是一种证明助手，可以用于验证答案集接口程序 GRINGO 的紧密性，并且与一阶公式的规范相关。它定义了局部紧密计划的概念，并证明了 ANTHEM 使用的验证过程可以在这更普遍的环境中应用。与紧密性不同，本
PDF2 years ago
MM关于两种答案集编程方言的关系
本文证明了在 ASP-Core 语言中避免通过聚合递归确实保证了两个稳定模型语义版本之间的等价性，并展示了如何放宽此要求而不违反等价性属性。
PDF5 years ago
不展开伴随：对 SSA 形式程序进行微分
本文介绍了基于源代码转换的逆向模式算法微分（AD），特别是现代编译器使用的静态单赋值（SSA）形式。该方法可以支持控制流、嵌套、变异、递归、数据结构、高阶函数和其他语言结构，并将输出的微分代码交由现有编译器来生成高效微分代码。我们的实现是
PDF6 years ago
具有连续随机变量和递归的概率语言的上下文等价性
我们提出了一个完整的论证原则，用于解决无类型的概率编程语言中的语境等效性问题，并证明了概率编程中的上下文等效性。
PDF6 years ago
ICLR透过递归实现神经编程体系结构的泛化
通过在神经程序员 - 解释器框架中实现递归来解决学习程序时神经网络泛化能力和推理能力不足的问题，证明该方法在少量训练数据的情况下具有更好的泛化性和可解释性，体验表明为了让神经网络更好的学习程序语义，需要像递归这样的概念。
PDF7 years ago