WXRedian | CreateAMind

公众号 CreateAMind

周期

共找到 41 条记录

基于数值推理的关系程序综合

科技 2024-09-18 12:00 上海

Relational program synthesis with numerical reasoning基于数值推理的关系程序综合https://arxiv.org/pd ...

LogiCity：用抽象城市模拟推进NeSy人工智能，首个可定制一阶逻辑（FOL）的模拟器

科技 2024-09-18 09:10 上海

https://jaraxxus-me.github.io/LogiCity/Advancing NeSy AI with Abstract Urban Simulatio ...

重磅：比较 NeSy和StarAI系统的7个维度

科技 2024-09-18 00:00 上海

From Statistical Relational to NeurosymbolicArtificial Intelligence: a Survey.从统计关系到神经 ...

OpenAI o1到底有多弱？

科技 2024-09-17 09:59 上海

https://arcprize.org/blog/openai-o1-results-arc-prizeARC-AGI-Pub 上的 OpenAI o1 结果OpenAI ...

Code 机器人自主的自监督神经符号框架sairlab系列论文代码落地无人驾驶应用

科技 2024-09-16 09:52 上海

Imperative Learning: A Self-supervised Neural-Symbolic Learning Framework for Robot Au ...

Code：用神经符号AI解决机器人强化学习等问题，sairlab系列论文代码

科技 2024-09-15 09:42 上海

代码：https://sairlab.org/iseries/命令式学习（IL）是一种用于机器人自主的自监督神经符号学习框架。IL的原型首先在iSLAM论文中提到，然后在这 ...

反统一与泛化:综述

科技 2024-09-14 15:58 上海

Anti-unification and Generalization: A Survey反统一与泛化:一个综述https://arxiv.org/pdf/2302.002 ...

1000万美元AIMO挑战的启发：有趣的符号计算

科技 2024-09-14 08:50 上海

Symbolic Computation for All the Fun有趣的符号计算https://arxiv.org/abs/2404.12048摘要受到最近1000 ...

寻找最小不可满足子程序学习逻辑程序，学习时间减少99%

科技 2024-09-13 13:32 上海

Learning logic programs by finding minimal unsatisfiable subprograms通过寻找最小不可满足子程序学习逻辑程 ...

Code：从提出假设、验证假设、假设失败中学习最优方案

科技 2024-09-13 00:01 上海

Learning programs by learning from failureshttps://github.com/logic-and-learning-lab/P ...

高阶相互作用在超图和单纯复形中以不同的方式塑造集体动力学

科技 2024-09-12 17:00 上海

Higher-order interactions shape collective dynamics differently in hypergraphs and sim ...

高阶网络的简单性（度量标准）

科技 2024-09-12 17:00 上海

https://link.springer.com/article/10.1140/epjds/s13688-024-00458-1The simpliciality of ...

通过连接小规则来学习大逻辑规则AI程序

科技 2024-09-12 09:00 上海

Learning big logical rules by joining small rules通过连接小规则来学习大逻辑规则https://arxiv.org/abs/ ...

ULLER：神经符号AI，学习和推理的统一语言

科技 2024-09-12 00:00 上海

ULLER: A UNIFIED LANGUAGEFOR LEARNING AND REASONINGULLER:学习和推理的统一语言https://arxiv.org/p ...

统一的代数视角看待概率逻辑编程

科技 2024-09-11 19:26 上海

Semirings for Probabilistic and Neuro-Symbolic Logic Programminghttps://arxiv.org/pdf/ ...

AI雏形,系统1+系统2，Scallop2：神经符号编程语言: 符号、概率、可解释等强化学习等

科技 2024-09-10 08:50 上海

Scallop: A Language for Neurosymbolic Programminghttps://arxiv.org/pdf/2304.04812https ...

Scallop1：从概率演绎数据库到可扩展的可微分推理

科技 2024-09-10 08:50 上海

Scallop: From Probabilistic Deductive Databases toScalable Differentiable Reasoning 20 ...

如何训练你的HiPPO：具有广义正交基投影的状态空间模型

科技 2024-09-09 22:45 上海

How to train your hippo: State space models with generalized orthogonal basis projecti ...

AI集大成！Scallop：神经符号编程语言: 符号、概率、可解释等强化学习等

科技 2024-09-09 16:25 上海

Scallop: A Language for Neurosymbolic Programminghttps://arxiv.org/pdf/2304.04812https ...

王培教授AGI相关论文列表

科技 2024-09-08 10:19 上海

Selected Papers of Pei WangAll the following publications are authored by Pei Wang unl ...

« 12 3 »

CreateAMind

ALLinCreateAMind.AGI.top ，前沿AGI技术探索，论文跟进，复现验证，落地实验。鼓励新思想的探讨及验证等。探索比大模型更优的智能模型。

分类

时事

民生

政务

教育

文化

科技

财富

体娱

健康

情感

旅行

百科

职场

楼市

企业

乐活

学术

汽车

时尚

创业

美食

幽默

美体

文摘

原创标签

时事社会财经军事教育体育科技汽车科学房产搞笑综艺明星音乐动漫游戏时尚健康旅游美食生活摄影宠物职场育儿情感小说曲艺文化历史三农文学娱乐电影视频图片新闻宗教电视剧纪录片广告创意壁纸头像心灵鸡汤星座命理教育培训艺术文化金融财经健康医疗美妆时尚餐饮美食母婴育儿社会新闻工业农业时事政治星座占卜幽默笑话独立短篇连载作品文化历史科技互联网

发布位置

广东北京山东江苏河南浙江山西福建河北上海四川陕西湖南安徽湖北内蒙古江西云南广西甘肃辽宁黑龙江贵州新疆重庆吉林天津海南青海宁夏西藏香港澳门台湾美国加拿大澳大利亚日本新加坡英国西班牙新西兰韩国泰国法国德国意大利缅甸菲律宾马来西亚越南荷兰柬埔寨俄罗斯巴西智利卢森堡芬兰瑞典比利时瑞士土耳其斐济挪威朝鲜尼日利亚阿根廷匈牙利爱尔兰印度老挝葡萄牙乌克兰印度尼西亚哈萨克斯坦塔吉克斯坦希腊南非蒙古奥地利肯尼亚加纳丹麦津巴布韦埃及坦桑尼亚捷克阿联酋安哥拉