AI编码共0篇
关注AI编码助手、开发工具与软件工程实践的发展，汇集已核验的重要进展、外部精选资讯与本站相关教程。

AI 编码 大事记

已核验里程碑

已核验的重要进展，历史资料持续补充。

重要进展 IMPORTANT_PROGRESS

2016-11-07 — 2016-11-07
重要进展 · 第 103 / 105 页

  1. 研究
    DeepCoder 结合深度学习与程序搜索

    DeepCoder 从输入输出样例预测目标程序属性，再引导枚举搜索或 SMT 求解，是神经模型辅助程序合成的代表研究。

    官方来源 ↗

AI 编码 精选历史资讯

AIHOT · 精选 · 不计入本站文章

主题归属复核已到期或尚未完成；当前展示上次核验的历史缓存，不代表最新已确认的主题归属。

— · 1 条
精选资讯 · 第 1 / 1 页

归档：AIHOT主题时间 · 北京时间 · 更正时间不改变归档日期

分类
排序

暂无内容