dsl | BriefGPT - AI 论文速递

关键词dsl

搜索结果 - 6

抽象束：使用库学习增强自底向上的程序合成
LambdaBeam 是一种具有高阶函数、lambda 函数和迭代循环的程序综合的最先进的执行引导算法，而 AbstractBeam 是一种新颖的程序综合框架，通过图书馆学习识别程序重复、将其整合到 DSL 中，从而利用其潜力提高 Lamb
PDFa month ago
LambdaBeam：使用高阶函数和 Lambda 进行神经程序搜索
设计了一种搜索算法 LambdaBeam，在 DSL 中构建任意 Lambda 函数的语义向量表示，并训练神经策略网络，将它们作为参数传递给高阶函数进行循环计算，相比基于神经网络、符号和 LLM 的技术，在整数列表操作领域性能更优。
PDFa year ago
生成用于回答模拟问题的代码的假设
本研究提出了一种基于 DSL 和强化学习的神经程序合成方法，通过运行时语义相似性奖励实现了化学反应过程的模拟，从而获得了 88％的准确性提升。
PDF2 years ago
通过多流语料库对齐和双 Softmax 损失来改进视频文本检索
本文提出一种基于多流语料库对齐网络和双 softmax 损失函数的方法（CAMoE 和 DSL），以解决 CLIP 模型在视频和文本结构和内容异构性方面过拟合和检索效率相对较差的问题，并在各种基准测试中取得了最先进的成果。
PDF3 years ago
使用抽象细化进行程序合成
通过使用抽象语义和基于树自动机的迭代精化方法，我们提出了一种高效的程式合成方法，并在字符串和矩阵转换领域中取得了比现有技术更好的结果。
PDF7 years ago
IJCAI深度 API 程序员：学习使用 API 编程
DAPIP 是一种通过学习 API 和 DSL 实现数据转换任务的 Programming-By-Example 系统，并提出了一种新的神经合成算法来在 DSL 中寻找与给定示例一致的程序，该算法在合成程序方面性能优于基准方法。
PDF7 years ago