|
1000万美元AIMO挑战的启发:有趣的符号计算 CreateAMind · 公众号 · · 2 月前 · 访问文章快照 |
|
Code:从 提出假设、验证假设、假设失败 中学习最优方案 CreateAMind · 公众号 · · 2 月前 · 访问文章快照 |
|
ULLER:神经符号AI,学习和推理的统一语言 CreateAMind · 公众号 · · 2 月前 · 访问文章快照 |
|
统一的代数视角看待概率逻辑编程 CreateAMind · 公众号 · · 2 月前 · 访问文章快照 |
|
AI雏形,系统1+系统2,Scallop2:神经符号编程语言: 符号、概率、可解释等强化学习等 CreateAMind · 公众号 · · 2 月前 · 访问文章快照 |
|
Scallop1:从概率演绎数据库到可扩展的可微分推理 CreateAMind · 公众号 · · 2 月前 · 访问文章快照 |
|
AI集大成!Scallop:神经符号编程语言: 符号、概率、可解释等强化学习等 CreateAMind · 公众号 · · 2 月前 · 访问文章快照 |
|
重磅! 感觉的含义:形式化了'“理解”感觉数据流的含义'(意识) CreateAMind · 公众号 · · 2 月前 · 访问文章快照 |
|
第一个自动发现跨领域泛化的高阶抽象,在程序合成领域发现抽象map、filter和fold,并在国际象棋领域使用它们 CreateAMind · 公众号 · · 2 月前 · 访问文章快照 |
|
一个高效的精确算法,用于执行涉及3个和4个节点的高阶模体分析 CreateAMind · 公众号 · · 2 月前 · 访问文章快照 |
|
在网络微观尺度上提取超图中的高阶指纹方法 CreateAMind · 公众号 · · 2 月前 · 访问文章快照 |
|
ILP Code:指数级降低搜索空间:通过组合程序来学习逻辑程序 CreateAMind · 公众号 · · 2 月前 · 访问文章快照 |
|
Code:儿童黑客:构建更多具有人类特征的学习模型 2 实现(metaprimitives) CreateAMind · 公众号 · · 2 月前 · 访问文章快照 |
|
儿童黑客:构建更多具有人类特征的学习模型 1 理论(1-2章两万字) CreateAMind · 公众号 · · 2 月前 · 访问文章快照 |
|
解决终身学习迁移学习:30年ILP介绍,四万字 CreateAMind · 公众号 · · 2 月前 · 访问文章快照 |
|
Code:最有前途的ARC-AGI比赛方法:关系分解,关系型表示胜过函数型表示 CreateAMind · 公众号 · · 2 月前 · 访问文章快照 |
|
重磅 理论基础:贝叶斯力学的几何和分析,自由能的复杂系统理论 四万字 CreateAMind · 公众号 · · 2 月前 · 访问文章快照 |
|
EasyGraph: 多功能、跨平台、高效的跨学科网络分析库 CreateAMind · 公众号 · · 2 月前 · 访问文章快照 |
|
ARC挑战指南2023:由于ARC训练集的规模非常小,需要强烈的归纳偏差和先验知识 CreateAMind · 公众号 · · 2 月前 · 访问文章快照 |
|
图结构学习布线方法:概率性重新连接消息传递神经网络 CreateAMind · 公众号 · · 2 月前 · 访问文章快照 |