Transformer直接预测完整数学表达式,推理速度提高多个数量级

符号回归技术:从遗传编程到LLM融合的数学表达式发现 符号回归是一种通过算法自动发现数据背后数学表达式的机器学习技术,其核心价值在于同时实现高精度预测和可解释模型构建。该技术通过遗传编程、深度学习和强化学习等方法,在数学表达式空间中进行智能搜索。其中,遗传编程采用进化算法迭代优化表达式,而深度学习方法如E2E和NeSymReS利用Transformer架构实现端到端训练。最新进展显示,结合大语言模型(LLM)的符号回归框架(如LLM-SR)能显著提升方程发现效率,在材料科学、物理建模等领域展现出强大应用潜力。实践表明,符号回归特别适合解决需要明确数学表达的科学 阅读详情

前言

来自 Mata AI、法国索邦大学、巴黎高师的研究者成功让 Transformer 直接预测出完整的数学表达式。

符号回归,即根据观察函数值来预测函数数学表达式的任务,通常涉及两步过程:预测表达式的「主干」并选择数值常数,然后通过优化非凸损失函数来拟合常数。其中用到的方法主要是遗传编程,通过多次迭代子程序实现算法进化。神经网络最近曾在一次尝试中预测出正确的表达式主干,但仍然没有那么强大。

在近期的一项研究中,来自 Meta AI(Facebook)、法国索邦大学、巴黎高师的研究者提出了一种 E2E 模型,尝试一步完成预测,让 Transformer 直接预测完整的数学表达式,包括其中的常数。随后通过将预测常数作为已知初始化提供给非凸优化器来更新预测常数。

图片

论文地址:https://arxiv.org/abs/2204.10532

该研究进行消融实验以表明这种端到端方法产生了更好的结果,有时甚至不需要更新步骤。研究者针对 SRBench 基准测试中的问题评估了该模型,并表明该模型接近 SOTA 遗传编程的性能,推理速度提高了几个数量级。

方法

Embedder

该模型提供了 N 个输入点 (x, y) ∈ R^(D+1),每个输入点被表征为 d_emb 维度的 3(D + 1) 个 token。随着 D 和 N 变大,这会导致输入序列很长(例如,D = 10 和 N = 200 时有 6600 个 token),这对 Transformer 的二次复杂度提出了挑战。

为了缓解这种情况,该研究提出了一个嵌入器( embedder )来将每个输入点映射成单一嵌入。嵌入器将空输入维度填充(pad)到 D_max,然后将 3(D_max+1)d_emb 维向量馈入具有 ReLU 激活的 2 层全连接前馈网络 (FFN) 中,该网络向下投影到 d_emb 维度,得到的 d_emb 维的 N 个嵌入被馈送到 Transformer。

该研究使用一个序列到序列的 Transformer 架构,它有 16 个 attention head,嵌入维度为 512,总共包含 86M 个参数。像《 ‘Linear algebra with transformers 》研究中一样,研究者观察到解决这个问题的最佳架构是不对称的,解码器更深:在编码器中使用 4 层,在解码器中使用 16 层。该任务的一个显著特性是 N 个输入点的排列不变性。为了解释这种不变性,研究者从编码器中删除了位置嵌入。

如下图 3 所示,编码器捕获所考虑函数的最显著特征,例如临界点和周期性,并将专注于局部细节的短程 head 与捕获函数全局的长程 head 混合在一起。

图片

训练

该研究使用 Adam 优化器优化交叉熵损失,在前 10000 步中将学习率从 10^(-7) 提升到 2.10^(-4),然后按照论文《 Attention is all you need 》中的方法将其衰减为步数的平方根倒数(inverse square root)。该研究提供了包含来自同一生成器的 10^4 个样本的验证集,并训练模型,直到验证集的准确率达到饱和(大约 50 个 epoch 的 3M 个样本)。

输入序列长度随点数 N 显著变化;为了避免浪费填充,该研究将相似长度的样本一起批处理,确保一个完整的批处理包含至少 10000 个 token。

实验结果

该研究不仅评估了域内准确性,也展示了在域外数据集上的结果。

域内性能

表 2 给出了该模型的平均域内结果。如果不进行修正,E2E 模型在低精度预测(R^2 和 Acc_0.1 指标)方面优于在相同协议下训练的 skeleton 模型,但常数预测中存在的错误会导致在高精度(Acc_0.001)下的性能较低。

图片

修正之后的程序显著缓解了这个问题,让 Acc_0.001 提升了三倍,同时其他指标也有所改进。

图片

图 4A、B、C 给出了 3 个公式难度指标的消融实验结果(从左到右):一元算子的数量、二元算子的数量和输入维数。正如人们所预料的那样,在所有情况下,增加难度系数会降低性能。这可能会让人认为该模型在输入维度上不能很好地扩展,但实验表明,与并发方法相比,该模型在域外数据集上的扩展性能非常好,如下图所示。

图片

图 4D 显示了性能与输入模型的点数 N 之间的关系。在所有情况下,性能都会提高,但 E2E 模型比 skeleton 模型更显著,这证明大量数据对于准确预测表达式中的常数是非常重要的。

外推和稳健性。如图 4E 所示,该研究通过改变测试点的规模来检查模型内插 / 外推的能力:该研究没有将测试点归一化为单位方差,而是将它们归一化为 σ。随着 σ 的增加,性能会下降,但是即使远离输入(σ = 32),外推性能仍然不错。

最后,如图 4F 所示,研究者检查了使用方差 σ 的乘性噪声(multiplicative noise)对目标 y 的影响:y → y(1 + ξ), ξ ∼ N (0, ε)。这个结果揭示了一些有趣的事情:如果不进行修正,E2E 模型对噪声的稳健性不强,实际上在高噪声下性能比 skeleton 模型差。这显示了 Transformer 在预测常数时对输入的敏感程度。修正之后 E2E 模型的稳健性显著提高,但将常数初始化为估计值的影响较小,因为常数的预测被噪声破坏了。

感兴趣的读者可以阅读论文原文,了解更多研究细节。
​

如何学习大模型

现在社会上大模型越来越普及了,已经有很多人都想往这里面扎,但是却找不到适合的方法去学习。

作为一名资深码农,初入大模型时也吃了很多亏,踩了无数坑。现在我想把我的经验和知识分享给你们,帮助你们学习AI大模型,能够解决你们学习中的困难。

我已将重要的AI大模型资料包括市面上AI大模型各大白皮书、AGI大模型系统学习路线、AI大模型视频教程、实战学习,等录播视频免费分享出来,需要的小伙伴可以扫取。

一、AGI大模型系统学习路线

很多人学习大模型的时候没有方向,东学一点西学一点,像只无头苍蝇乱撞,我下面分享的这个学习路线希望能够帮助到你们学习AI大模型。

在这里插入图片描述

二、AI大模型视频教程

在这里插入图片描述

三、AI大模型各大学习书籍

在这里插入图片描述

四、AI大模型各大场景实战案例

在这里插入图片描述

五、结束语

学习AI大模型是当前科技发展的趋势,它不仅能够为我们提供更多的机会和挑战,还能够让我们更好地理解和应用人工智能技术。通过学习AI大模型,我们可以深入了解深度学习、神经网络等核心概念,并将其应用于自然语言处理、计算机视觉、语音识别等领域。同时,掌握AI大模型还能够为我们的职业发展增添竞争力,成为未来技术领域的领导者。

再者,学习AI大模型也能为我们自己创造更多的价值,提供更多的岗位以及副业创收,让自己的生活更上一层楼。

因此,学习AI大模型是一项有前景且值得投入的时间和精力的重要选择。

YOLO与Transformer核心原理及工程实践:从代码实现到生产部署 目标检测和序列建模是计算机视觉与自然语言处理的基础技术。目标检测通过定位和识别图像中的物体,为自动驾驶、安防监控等应用提供核心能力;序列建模则利用自注意力机制处理文本、语音等序列数据。YOLO模型采用端到端的回归方法实现高效实时检测,其网格划分和边界框预测机制显著提升了推理速度。Transformer架构通过多头自注意力机制捕获长距离依赖关系,解决了传统RNN的梯度消失问题。在工程实践中,YOLOv8的anchor-free设计和Transformer的编码器-解码器结构为模型部署提供了优化基础。通过PyT 阅读详情

相关推荐

MTP技术解析:大语言模型如何实现多token预测与性能提升

自回归语言模型是自然语言处理的基础技术,其核心原理是通过前文预测下一个词元(token)。传统方法采用逐词预测方式,虽然实现简单,但在训练效率和学习深度上存在局限。多token预测(MTP)技术通过让模型同时预测多个未来词元,改变了这一范式。从技术价值看,MTP迫使模型学习更深层次的语言结构,而不仅仅是表面词序关系,显著提升了模型的语言理解能力。在应用场景上,这项技术特别适合需要长文本理解和生成的任务,如文档摘要、代码生成等。基于Transformer架构的MTP实现需要对输出层进行改造,增加多个预测头来处

weixin_34195142的博客 340

[独家原创]基于(黏菌算法)SMA-Transformer多变量回归预测(多输入单输出) Matlab代码

2.Transformer 作为一种创新的神经网络结构,深受欢迎。采用 Transformer 编码器对光伏、负荷数据特征间的复杂关系以及时间序列中的长短期依赖关系进行挖掘,可以提高光伏功率、负荷预测的准确性。-Transformer多变量回归预测【24年新算法】(多输入单输出) Matlab。1️⃣、运行环境要求MATLAB版本为2023b及其以上【如果没有可私信我,我赠送】2️⃣、评价指标包括:R2、MAE、MSE、RPD、RMSE等,图很多,符合您的需要。4️⃣、赠送测试数据集,可以直接运行源程序。

small_ccb的博客 363

数学推理模型优化:MHPO框架设计与性能提升

数学推理是人工智能领域的关键挑战,要求模型具备逻辑推导、符号运算和多步推理能力。传统Transformer架构在处理数学表达式时存在符号表示效率低、误差累积等问题。通过引入分层优化架构和动态注意力机制,MHPO框架显著提升了模型性能。该框架包含符号表示层、推理过程层和知识整合层,支持数学专用token嵌入和状态追踪。在MATH数据集测试中,代数正确率提升46%,几何正确率提升64%。这种优化方法不仅适用于数学问题求解,也为复杂逻辑推理任务提供了新的技术思路,特别是在教育科技和自动定理证明等领域具有广泛应用前

weixin_33713707的博客 373

Transformer多头注意力机制实现数字预测(pytorch)的实践过程

1. 报错 ModuleNotFoundError: No module named ‘matplotlib’ 2. 报错 ModuleNotFoundError: No module named ‘myfunction’ 3. 报错 ModuleNotFoundError: No module named ‘XXXX’ 4. 无法导入MyDataset 及相关数据

gxb673281066的博客 704

基于Transformer的车道线检测:LSTR模型实战解析

本文深入解析了基于Transformer的端到端车道线检测模型LSTR。该模型摒弃了传统的像素级分割与后处理流程,通过直接预测车道线的参数化曲线方程,实现了高效、鲁棒的检测。文章详细阐述了其架构原理,包括轻量化Backbone、Transformer编码器-解码器及匈牙利损失,并提供了从环境搭建、数据准备到模型训练与部署的完整实战指南,助力开发者在自动驾驶等场景中应用。

weixin_29062671的博客 379

GemDepth:将3D刚体运动学嵌入Transformer的视频深度估计框架

视频深度估计本质是求解场景点在连续帧间的三维空间映射关系,其核心原理依赖于相机运动与场景结构共同满足的刚体运动学约束。传统方法如光度一致性或视差约束仅建模表观近似关系,易受光照、纹理缺失和运动模糊干扰;而基于物理先验的几何一致建模,能显著提升模型在真实动态场景中的鲁棒性与泛化能力。GemDepth通过显式编码3D刚体运动方程与自适应时空Transformer结构,实现深度预测与位姿推理的联合校验,在VKITTI2等基准上取得0.87%相对误差,并支持零样本跨域迁移。该技术已拓展至机器人定位、AR锚定与空间认

weixin_34345753的博客 558

transformer——多变量预测PyTorch搭建Transformer实现多变量多步长时间序列预测(负荷预测)——transformer多变量预测

第一次自行用Transformer模型实现二分类,过程很曲折,不过最后还好成功实现了。各位大佬们如果有更好的模型实现思路,欢迎在评论区指教!​。

python12345_的博客 2458

pytorch深度学习开发模板:时间序列预测Transformer模板 多变量输入 多变量输出,多变量输入,单变量输出。直接看最后一个

Transformer 预测模型开发模板

1223

【深度学习】Transformer直接预测完整数学表达式,推理速度提高多个数量级

机器之心报道机器之心编辑部来自 Mata AI、法国索邦大学、巴黎高师的研究者成功让 Transformer 直接预测出完整的数学表达式。符号回归,即根据观察函数值来预测函数数学表达式的任务,通常涉及两步过程:预测表达式的「主干」并选择数值常数,然后通过优化非凸损失函数来拟合常数。其中用到的方法主要是遗传编程,通过多次迭代子程序实现算法进化。神经网络最近曾在一次尝试中预测...

fengdu78的博客 927

ArcGIS Pro实战:用时空立方体分析共享单车轨迹数据(含3D可视化技巧)

本文详细介绍了在ArcGIS Pro中利用时空立方体技术分析共享单车轨迹数据的全流程。从数据预处理、构建时空立方体,到执行新兴时空热点分析,并最终实现动态3D可视化,手把手教你挖掘城市骑行活动的时空规律。文章重点解析了工具参数设置、常见报错解决方案,并提供了可复用的Python脚本,助力城市规划与交通研究者高效完成时空模式挖掘。

weixin_28323057的博客 137

SAP生产版本导入避坑大全:从‘黄灯’到‘绿灯’,详解CM_FV_MKAL_CONSISTENCY_CHECK检查函数

本文深入解析SAP生产版本导入过程中的常见问题,特别是通过`CM_FV_MKAL_CONSISTENCY_CHECK`检查函数从‘黄灯’异常到‘绿灯’正常的修复方法。涵盖静态与动态校验机制、典型异常场景诊断及批量导入最佳实践,帮助SAP运维人员高效解决生产版本管理难题。

weixin_30568591的博客 387

NeurIPS|基于Transformer的端到端符号回归方法

这是一项具有挑战性的任务,通常需要通过两步流程完成:首先预测表达式的“骨架”(即不包含具体数值常数的结构),随后通过优化一个非凸损失函数来拟合其中的常数参数。ill-posed problem),难以提供充分的监督信息:同一骨架的不同实例可能具有截然不同的函数形状,而结构完全不同的骨架在函数空间中却可能非常接近。骨架决定了表达式的大体形式,但尚未确定具体的数值常数,例如。后一类方法虽然放宽了对潜在规律的假设,但其得到的模型通常较难解释,并且在小规模实验数据上容易发生过拟合,从而导致较差的外推性能。

zuiyishihefang的博客 384

小红书UID泄露风险揭秘:如何防止你的手机号被社工库关联(附防护指南)

本文揭示了小红书UID泄露的严重风险,详细解析了UID与手机号关联后被社工库利用的完整链条。通过分析黑产的数据整合技术,提供从基础到进阶的防护策略,包括密码管理、账号隔离和应急响应措施,帮助用户有效防范个人信息泄露风险。

ol789012345的博客 1511

【论文+代码】基于transformer的端到端符号回归算法

✅作者简介:双一流博士,人工智能领域学习者,深耕机器学习,交叉学科实践者。已发表SCI1/区top论文10+,发明专利10+。可提供论文服务,代码复现,专利思路和指导,提供科研小工具,分享科研经验,欢迎交流!📌个人主页: https://blog.youkuaiyun.com/allein_STR?📞联系博主:博文留言+主页底部联系方式+WeChat: Allein_STR📙本文内容:【基于transformer的端到端符号回归算法】

allein_STR的博客 2810

一张微服务地图的十年演进:Spring Cloud 核心、扩展与工具组件的定位、原理与选型

本文把 Spring Cloud 当作一张微服务地图来读:先说明它是由 Commons 抽象层、实现层和 Boot 装配层构成的发行版,再沿一次请求梳理注册发现、负载均衡、声明式调用、容错限流、网关、配置、追踪与总线七类核心组件的原理与换代,并扩展到云平台、服务网格、消息流、批处理、安全与周边生态。仿真实测:默认参数下实例宕机平均 242 秒才被感知,优雅下线降到 47 秒;一个慢实例让轮询的 P99 达 49 秒,P2C 仅 203 毫秒。最后给出退场替代表、技术栈组合、升级路线和决策树。

曾经“等你生日那天”都遥远得像未来,如今却可欢愉的挥手说“下个十年见” 169万+

Label Studio 数据标注平台,大模型预训练与微调必备

摘要:LabelStudio是一款开源数据标注工具,支持文本、图像等多种数据类型的标注。本文介绍了其安装方法(通过conda创建环境并pip安装)、基础使用流程(创建项目、导入数据、设置标签、标注导出)以及AI自动标注功能的实现。重点讲解了如何通过MLBackend集成LangChain模型实现自动标注:创建自定义模型类、构建预测链、处理返回结果,最后配置到LabelStudio项目中。该功能可显著提升标注效率,标注人员只需在AI预测结果基础上进行修正。

技术引领业务创新 290

杜克大学研究揭示:简单模型在时序预测中超越Transformer

杜克大学研究揭示:简单模型在时序预测中超越Transformer

至顶AI实验室 679

[解决] PDF转图片,中文乱码或显示方框的解决方案

在Java开发中,将PDF文件转换为图片是一项常见的需求,但过程中可能会遇到中文乱码或显示方框的问题。本文将深入探讨这一问题,并提供详细的解决方案,帮助开发者顺利地完成PDF到图片的转换。

DazedMen的博客 1925

从各个角度讲透一个强大的算法模型,Transformer !!

摘要:本文深入解析Transformer模型的核心原理与优势。Transformer通过自注意力机制突破传统RNN/LSTM的序列处理局限,实现全局并行信息检索。其核心架构包含编码器-解码器结构、位置编码、多头注意力等模块,具有效率高、建模能力强、适用性广等特点。文章通过时间序列预测任务进行实战演示,详细讲解模型各组件实现细节,包括注意力机制、残差连接、层归一化等关键技术,并提供了完整的训练流程和可视化分析方法。最后总结了Transformer的核心优势在于其全局注意力机制和多头多视角的并行学习能力。

一个不怎么正经的算法工程师的博客~不定期更新一些我所覆盖领域的干货~~~包你满意噢~~ 1118

从入门到精通:3D视觉与SLAM实战全流程 mastery 教程

本文系统介绍了3D视觉与SLAM技术的应用前景、核心技术和实战路径。3D视觉通过RGB-D相机、激光雷达等传感器获取环境三维信息,SLAM技术实现自主定位与地图构建,二者结合广泛应用于自动驾驶、机器人导航等领域。文章详细拆解了点云处理、视觉里程计、回环检测等关键技术,并提供了ORB-SLAM2算法复现、语义SLAM开发的实战教程,涵盖硬件选型、环境配置到代码实现全流程。最后规划了从入门到专家的学习路径,推荐了相关书籍、开源项目和数据集资源,为读者掌握这一前沿技术提供了完整指南。

m0_71589036的博客 135

基于Simulink的自适应反步法(Adaptive Backstepping)控制​

本文针对非线性系统控制中未知参数和强非线性耦合的挑战,提出基于Simulink的自适应反步法解决方案。通过融合参数在线估计与反步递归设计,该方法显著提升了永磁同步电机(PMSM)速度控制的鲁棒性,使跟踪误差从20%降至3%,参数估计收敛时间小于0.5秒。文章详细阐述了从算法推导到Simulink实现的完整流程,包括系统架构设计、核心算法推导(以PMSM为例)、模块化建模方法、参数优化策略以及工程部署建议。提供的自适应控制器MATLAB代码和关键参数表可直接应用于实际工程,为电机驱动、机械臂等非线性系统控制提

xiaoheshang_123的博客 101

MTP多令牌预测:突破自回归生成的文本生成新范式

自回归生成是自然语言处理中的基础技术,模型通过逐个预测令牌来生成文本序列。其核心原理是基于当前上下文预测下一个最可能的令牌,这种串行生成方式虽然简单直观,但在实际应用中面临误差累积和效率瓶颈等挑战。多令牌预测技术通过让模型一次性预测多个未来令牌,不仅提升了生成效率,更重要的是改善了模型的梯度信号和长程依赖建模能力。在代码生成、公式推导等具有强结构性的应用场景中,MTP技术能够显著提升生成质量和连贯性。本文探讨的MTP实现方案展示了如何通过修改模型架构和训练策略,让传统Transformer具备前瞻预测能力,

weixin_30819085的博客 376

Statistics and Machine Learning Toolbox

Statistics and Machine Learning Toolbox(带书签),MATLAB统计学习工具

基于Transformer的高频风险因子挖掘,实现30%投资回报率提升

本文提出了IRFT,一种利用Transformer直接从高频交易数据挖掘公式型风险因子的端到端方法。该方法通过将风险因子挖掘转化为符号序列生成任务,成功生成包含运算符、特征与常数在内的闭合式数学表达式,并利用BFGS对常数进行精修,提升了对短期市场波动的拟合精度。实证结果显示,该方法不仅在预测性能上显著领先多种基线方法,而且在推断时间和稳定性方面有明显优势。同时,在多市场、多维特征与大规模数据情境下仍保持良好的泛化能力。

m0_59164304的博客 2238

最新的sdio 4.0 spec 协议标准 带书签 高清完整PDF版

Part-E1-SDIO-Specification-Ver4.00-Final-120220.pdf:最新的sdio 4.0 spec 协议标准 带书签 高清完整PDF版,包括SDIO 接口的外设,SDIO 接口官方协议等。

蓝牙模块HM-10手册

蓝牙模块HM-10手册,该手册对蓝牙模块HM-10进行了详细的介绍和使用方法以及一些AT指令。

从BERT到ViT:Transformer架构的NLP与CV实战指南

Transformer架构通过自注意力机制实现了序列数据的并行化处理,其核心价值在于突破RNN的顺序计算限制,显著提升长距离依赖建模能力。在自然语言处理领域,以BERT为代表的预训练模型通过掩码语言建模任务,实现了上下文感知的词向量表示;而在计算机视觉领域,ViT创新性地将图像分块编码为token序列,证明Transformer同样适用于非序列数据。这两种技术都依赖于预训练-微调范式,其中模型蒸馏和量化部署是关键工程实践。当前技术演进呈现高效化(如Linformer)、多模态(如CLIP)和专业化(如Cod

weixin_30572613的博客 350

文档:亲测可用解决vnc灰屏,黑屏,鼠标大黑叉情况

主要解决vnc-viewer灰屏,黑屏,鼠标大黑叉等现象,详细见文档。

上一篇: 搭建大模型知识库流程,以及基于langchain实现大模型知识库案例
下一篇: 精通Transformer——微调语言模型用于文本分类
AI_小站
博客等级 码龄3年 6255粉丝 1152原创
评论
成就一亿技术人!
拼手气红包6.0元
还能输入1000个字符
 
 条评论被折叠 查看
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付:10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值