实体
program synthesis
program synthesis
PulseAugur coverage of program synthesis — every cluster mentioning program synthesis across labs, papers, and developer communities, ranked by signal.
总计 · 30天
2
90 天内 2
发布 · 30天
0
90 天内 0
论文 · 30天
1
90 天内 1
层级分布 · 90 天
主题
情绪 · 30 天
1 天有情绪数据
最近 · 第 1/1 页 · 共 2 条
-
研究人员探索无需大型语言模型的程序合成方法，发现其局限性
一位研究人员探索了程序合成的替代方法，特别是研究了是否可以在没有大型语言模型或昂贵GPU的情况下生成小型程序。该研究侧重于两种方法：搜索程序空间和查找现有代码。基于搜索的方法使用了62个原始元素的类型化枚举器，但只取得了有限的成功，即使有提示，也只正确解决了28个任务中的5个。值得注意的是，搜索器经常找到与现有正确实现相同但观察上相同的错误解决方案，这凸显了基于示例规范的基本局限性。
-
新的COCOLogic-V2数据集推动了AI视觉归纳推理能力
研究人员推出了COCOLogic-V2，一个旨在提升AI模型视觉归纳推理能力的新数据集。该数据集专注于以物体为中心的真实世界图像，并涵盖了很大一部分一阶逻辑，目标是超越通常用于评估可解释模型（如概念瓶颈模型和程序合成方法）的简单任务。使用COCOLogic-V2进行的评估显示，当前模型难以处理接近边界的负样本，凸显了视觉归纳推理仍然是一个持续的挑战。