LeCun力挺,马毅教授五年集大成之作:完全数学可解释的白盒Transformer,性能不输ViT
过去十多年,AI的飞速发展主要是工程实践上的进步,AI理论并没有起到指导算法开发的作用,经验设计的神经网络依然是一个黑盒。
而随着ChatGPT的爆火,AI的能力也被不断夸大、炒作,甚至到了威胁、绑架社会的地步,让Transformer架构设计变透明已刻不容缓!
最近,马毅教授团队发布了最新研究成果,设计了一个完全可用数学解释的白盒Transformer模型CRATE,并在真实世界数据集ImageNet-1K上取得了接近ViT的性能。
代码链接:https://github.com/Ma-Lab-Berkeley/CRATE
论文链接:https://arxiv.org/abs/2306.01129
在这篇论文中,研究人员认为,表示学习的目标是压缩和转换数据(例如token集合)的分布,以支持在不相干子空间(incoherent subspace)上的低维高斯分布混合,最终表征的质量可以通过稀疏率降低(sparse rate reduction)的统一目标函数来度量。
从这个角度来看,流行的深度网络模型,如Transformer等可以很自然地被认为是实现迭代方案(realizing iterative schemes)以逐步优化该目标。
特别是,研究结果表明标准Transformer块可以从对该目标的互补部分的交替优化中派生出:多头自注意力运算符可以被视为通过最小化有损编码率来压缩token集合的梯度下降步骤,而随后的多层感知器可以被视为尝试稀疏化token的表示。
这一发现也促进设计了一系列在数学上完全可解释的白盒Transformer类深度网络架构,尽管设计上很简单,但实验结果表明,这些网络确实学会了优化设计目标:压缩和稀疏化了大规模真实世界视觉数据集(如ImageNet)的表示,并实现了接近高度工程化Transformer模型(ViT)的性能。
图灵奖得主Yann LeCun对马毅教授的工作也表示赞同,认为Transformer使用LISTA(Learned Iterative Shrinkage and Thresholding Algorithm)类似的方法增量地优化稀疏压缩。
马毅教授于1995年获得清华大学自动化与应用数学双学士学位,并于1997年获加州大学伯克利分校EECS硕士学位,2000年获数学硕士学位与EECS博士学位。
2018年马毅教授加入加州大学伯克利分校电子工程与计算机科学系,今年1月加入香港大学出任数据科学研究院院长,最近又接任香港大学计算系主任。
主要研究方向为3D计算机视觉、高维数据的低维模型、可扩展性优化和机器学习,最近的研究主题包括大规模3D几何重构和交互以及低维模型与深度网络的关系。
让Transformer变白盒
这篇论文的主要目的在于用一个更统一的框架以设计类似Transformer的网络结构,从而实现数学上的可解释性和良好的实际性能。
为此,研究人员提出学习一个增量映射(incremental mappings)序列,以获得输入数据(token集合)的最小压缩和最稀疏的表征,优化一个统一的目标函数,即稀疏率降低。
这个框架统一了「Transformer模型和自注意力」、「扩散模型和降噪」、「结构化查找和率降低」(Structure-seeking models and rate reduction)三种看似不同的方法,并表明类似Transformer的深层网络层可以自然地从展开迭代优化(unrolling iterative optimization)方案中导出, 以增量地优化稀疏率降低目标。
映射的目标
Self-Attention via Denoising Tokens Towards Multiple Subspaces
研究人员使用一个理想化的token分布模型表明,如果朝着低维子空间系列迭代去噪,相关的评分函数就会呈现出类似于Transformer中的自注意力操作符的显式形式。
Self-Attention via Compressing Token Sets through Optimizing Rate Reduction
研究人员将多头自注意力层推导为一个展开的梯度下降步,以最小化速率降低的有损编码率部分,从而展现了将自注意力层解释为压缩token表征的另一种解释方法。
MLP via Iterative Shrinkage-Thresholding Algorithms (ISTA) for Sparse Coding
研究人员展示了在Transformer块中紧随多头自注意力层后面的多层感知机可以被解释为(并且可以被替换为)一个层,该层通过构建token表征稀疏编码来逐步优化稀疏率降低目标剩余部分。
CRATE
结合上述理解,研究人员创建了一个全新的的白盒Transformer架构CRATE(Coding RAte reduction TransformEr),学习目标函数、深度学习架构和最终学习到的表征都完全可以用数学解释,其中每一层执行交替最小化算法(alternating minimization algorithm)的一个步骤,以优化稀疏率降低目标。
可以注意到,CRATE在构建的每个阶段都选择了尽可能最简单的构建方式,只要新构建的部分保持相同的概念角色,就可以直接替换,并获得一个新的白盒架构。
实验部分
研究人员的实验目标不仅仅是在使用基本设计的情况下与其他精心设计的Transformer竞争,还包括:
1、与通常仅在端到端性能上评估的经验设计的黑盒网络不同,白盒设计的网络可以查看深层架构的内部,并验证学习网络的层是否确实执行其设计目标,即对目标进行增量优化。
2、尽管CRATE架构很简单,但实验结果应当验证该架构的巨大潜力,即可以在大规模真实世界的数据集和任务上取得与高度工程化Transformer模型相匹配的性能。
模型架构
通过变化token维度、头数和层数,研究人员创建了四个不同规模的CRATE模型,表示为CRATE-Tiny,CRATE-Small,CRATE-Base和CRATE-Large
数据集和优化
文中主要考虑ImageNet-1K作为测试平台,使用Lion优化器来训练具有不同模型规模的CRATE模型。
同时还评估了CRATE的迁移学习性能:在ImageNet-1K上训练的模型作为预训练模型,然后在几个常用的下游数据集(CIFAR10/100、Oxford Flowers、Oxford-IIT-Pets)上对CRATE进行微调。
CRATE的层实现设计目标了吗?
随着层索引的增加,可以看到CRATE-Small模型在大多数情况下的压缩和稀疏化项都得到了提升,最后一层稀疏性度量的增加是由于用于分类的额外线性层。
结果表明,CRATE与原始的设计目标非常契合:一旦学习完毕,基本上通过其层逐渐学习对表示进行压缩和稀疏化。
在其他规模的CRATE模型以及中间模型检查点上测量压缩和稀疏化项后可以发现,实验结果依然非常一致,具有更多层的模型往往能更有效地优化目标,验证了之前对每个层角色的理解。
性能对比
通过测量ImageNet-1K上的最高准确率以及在几个广泛使用的下游数据集上的迁移学习性能来研究所提出的网络的经验性能。
由于设计的架构在注意力块(MSSA)和MLP块(ISTA)中都利用了参数共享,所以CRATE-Base模型(2208万)与ViT-Small(2205万)的参数数量相似。
可以看到,在模型参数数量相似的情况下,文中提出的网络实现了与ViT相似的ImageNet-1K和迁移学习性能,但CRATE的设计更简单,可解释性强。
此外,在相同的训练超参数下,CRATE还可以继续扩展,即通过扩大模型的规模不断提高性能,而在ImageNet-1K上直接扩大ViT的规模并不总是能带来一致的性能改善。
也就是说,CRATE网络尽管简单,但已经可以在大规模的真实世界数据集上学习所需的压缩和稀疏表示,并在各种任务(如分类和迁移学习)上取得与更工程化Transformer网络(如ViT)相当的性能。
以上是LeCun力挺,马毅教授五年集大成之作:完全数学可解释的白盒Transformer,性能不输ViT的详细内容。更多信息请关注PHP中文网其他相关文章!

热AI工具

Undresser.AI Undress
人工智能驱动的应用程序,用于创建逼真的裸体照片

AI Clothes Remover
用于从照片中去除衣服的在线人工智能工具。

Undress AI Tool
免费脱衣服图片

Clothoff.io
AI脱衣机

AI Hentai Generator
免费生成ai无尽的。

热门文章

热工具

记事本++7.3.1
好用且免费的代码编辑器

SublimeText3汉化版
中文版,非常好用

禅工作室 13.0.1
功能强大的PHP集成开发环境

Dreamweaver CS6
视觉化网页开发工具

SublimeText3 Mac版
神级代码编辑软件(SublimeText3)

热门话题

想象一下,一个人工智能模型,不仅拥有超越传统计算的能力,还能以更低的成本实现更高效的性能。这不是科幻,DeepSeek-V2[1],全球最强开源MoE模型来了。DeepSeek-V2是一个强大的专家混合(MoE)语言模型,具有训练经济、推理高效的特点。它由236B个参数组成,其中21B个参数用于激活每个标记。与DeepSeek67B相比,DeepSeek-V2性能更强,同时节省了42.5%的训练成本,减少了93.3%的KV缓存,最大生成吞吐量提高到5.76倍。DeepSeek是一家探索通用人工智

本月初,来自MIT等机构的研究者提出了一种非常有潜力的MLP替代方法——KAN。KAN在准确性和可解释性方面表现优于MLP。而且它能以非常少的参数量胜过以更大参数量运行的MLP。比如,作者表示,他们用KAN以更小的网络和更高的自动化程度重现了DeepMind的结果。具体来说,DeepMind的MLP有大约300,000个参数,而KAN只有约200个参数。KAN与MLP一样具有强大的数学基础,MLP基于通用逼近定理,而KAN基于Kolmogorov-Arnold表示定理。如下图所示,KAN在边上具

波士顿动力Atlas,正式进入电动机器人时代!昨天,液压Atlas刚刚「含泪」退出历史舞台,今天波士顿动力就宣布:电动Atlas上岗。看来,在商用人形机器人领域,波士顿动力是下定决心要和特斯拉硬刚一把了。新视频放出后,短短十几小时内,就已经有一百多万观看。旧人离去,新角色登场,这是历史的必然。毫无疑问,今年是人形机器人的爆发年。网友锐评:机器人的进步,让今年看起来像人类的开幕式动作、自由度远超人类,但这真不是恐怖片?视频一开始,Atlas平静地躺在地上,看起来应该是仰面朝天。接下来,让人惊掉下巴

AI,的确正在改变数学。最近,一直十分关注这个议题的陶哲轩,转发了最近一期的《美国数学学会通报》(BulletinoftheAmericanMathematicalSociety)。围绕「机器会改变数学吗?」这个话题,众多数学家发表了自己的观点,全程火花四射,内容硬核,精彩纷呈。作者阵容强大,包括菲尔兹奖得主AkshayVenkatesh、华裔数学家郑乐隽、纽大计算机科学家ErnestDavis等多位业界知名学者。AI的世界已经发生了天翻地覆的变化,要知道,其中很多文章是在一年前提交的,而在这一

谷歌力推的JAX在最近的基准测试中性能已经超过Pytorch和TensorFlow,7项指标排名第一。而且测试并不是在JAX性能表现最好的TPU上完成的。虽然现在在开发者中,Pytorch依然比Tensorflow更受欢迎。但未来,也许有更多的大模型会基于JAX平台进行训练和运行。模型最近,Keras团队为三个后端(TensorFlow、JAX、PyTorch)与原生PyTorch实现以及搭配TensorFlow的Keras2进行了基准测试。首先,他们为生成式和非生成式人工智能任务选择了一组主流

特斯拉机器人Optimus最新视频出炉,已经可以在厂子里打工了。正常速度下,它分拣电池(特斯拉的4680电池)是这样的:官方还放出了20倍速下的样子——在小小的“工位”上,拣啊拣啊拣:这次放出的视频亮点之一在于Optimus在厂子里完成这项工作,是完全自主的,全程没有人为的干预。并且在Optimus的视角之下,它还可以把放歪了的电池重新捡起来放置,主打一个自动纠错:对于Optimus的手,英伟达科学家JimFan给出了高度的评价:Optimus的手是全球五指机器人里最灵巧的之一。它的手不仅有触觉

这篇论文探讨了在自动驾驶中,从不同视角(如透视图和鸟瞰图)准确检测物体的问题,特别是如何有效地从透视图(PV)到鸟瞰图(BEV)空间转换特征,这一转换是通过视觉转换(VT)模块实施的。现有的方法大致分为两种策略:2D到3D和3D到2D转换。2D到3D的方法通过预测深度概率来提升密集的2D特征,但深度预测的固有不确定性,尤其是在远处区域,可能会引入不准确性。而3D到2D的方法通常使用3D查询来采样2D特征,并通过Transformer学习3D和2D特征之间对应关系的注意力权重,这增加了计算和部署的

目标检测在自动驾驶系统当中是一个比较成熟的问题,其中行人检测是最早得以部署算法之一。在多数论文当中已经进行了非常全面的研究。然而,利用鱼眼相机进行环视的距离感知相对来说研究较少。由于径向畸变大,标准的边界框表示在鱼眼相机当中很难实施。为了缓解上述描述,我们探索了扩展边界框、椭圆、通用多边形设计为极坐标/角度表示,并定义一个实例分割mIOU度量来分析这些表示。所提出的具有多边形形状的模型fisheyeDetNet优于其他模型,并同时在用于自动驾驶的Valeo鱼眼相机数据集上实现了49.5%的mAP
