标签:表达式

让AI更懂物理世界!人大北邮上海AI Lab等提出多模态分割新方法 | ECCV2024

中国人民大学王耀霆 投稿量子位 | 公众号 QbitAI让AI像人类一样借助多模态线索定位感兴趣的物体,有新招了! 来自人大高瓴GeWu-Lab、北邮、上海AI Lab等机构...
阅读原文

终于,Claude上线LaTeX公式渲染功能,评论区网友沸腾了

机器之心报道 编辑:杜伟当 ChatGPT 老早就支持使用 LaTeX 语言输入和显示数学公式时,Claude 现在终于补上了这一功能。在论文、书籍、报告或幻灯片中,我们...
阅读原文

中科院半导体所论文再登 TNNLS 顶刊,贡献探索数学表达式的新视角

作者:哇塞 编辑:李宝珠,三羊 中国科学院半导体研究所的研究人员将表达式结构的求解视为分类问题,并通过监督学习进行解决,提出一种名为 DeepSymNet 的符...
阅读原文

陶哲轩上手Copilot:不可思议,它能从定理名字猜出我想要的方向

机器之心报道编辑: 蛋酱、小舟尝鲜 GPT-4 之后,陶哲轩又用上了 Github Copilot。这一次,他的试用场景是学习 Lean 语言并利用其形式化数学定理。对于大模型...
阅读原文

人工智能与数学前沿综述:如何借助 AI 发现数学规律?

导语为了探索数学与人工智能深度融合的可能性,集智俱乐部联合同济大学特聘研究员陈小杨、清华大学交叉信息学院助理教授袁洋、南洋理工大学副教授夏克林三位...
阅读原文

以3D视角洞悉矩阵乘法,这就是AI思考的样子

选自PyTorch机器之心编译如果能以 3D 方式展示矩阵乘法的执行过程,当年学习矩阵乘法时也就不会那么吃力了。现如今,矩阵乘法已经成为机器学习模型的构建模块...
阅读原文

矩阵成真!Pytorch最新工具mm,3D可视化矩阵乘法、Transformer注意力

新智元报道编辑:桃子【新智元导读】Pytorch团队推出的最新3D可视化最新工具mm,能够将矩阵乘法模拟世界还原。矩阵中的模拟世界,真的来了。矩阵乘法(matmul...
阅读原文