:全面的C++自动微分库,旨在为任意规模的生产代码提供易用性和高性能。

:全面的C++自动微分库,旨在为任意规模的生产代码提供易用性和高性能。 自动微分(也称为算法微分)是一组用于计算指定为计算机程序的函数的偏导数的技术。由于每个程序执行总是由一系列具有已知导数的简单运算(算术和数学函数,如 sin、exp、log 等)组成,因此可以重复应用链式法则来自动计算偏导数。XAD 在 C++ 中使用运算符重载来实现这一点,从而允许在对程序进行最小更改的情况下计算导数。有关更多详细信息,请参阅自动微分数学背景。 主要特征: 使用运算符重载的任何顺序的正向和伴随模式 检查点支持(用于磁带内存管理) 外部函数接口(集成外部库) 螺纹安全胶带 正式的异常安全保证 高性能 在大型生产代码库中经过实战测试

相关推荐

封面图片

C++ Primer Plus(第6版)中文版 (Stephen Prata)

C++ Primer Plus(第6版)中文版 (Stephen Prata) 描述:C++是在C语言基础上开发的一种集面向对象编程、通用编程和传统的过程化编程于一体的编程语言,是C语言的超集。本书是根据2003年的ISO/ANSI C++标准编写的。通过大量短小精悍的程序详细而全面地阐述了C++的基本概念和技术。全书分为18章和10个附录,分别介绍了C++程序的运行方式、基本数据类型、复合数据类型、循环和关系表达式、分支语句和逻辑操作符、函数重载和函数模板、内存模型和名称空间、类的设计和使用、多态、虚函数、动态内存分配、继承、代码重用、友元、异常处理技术、string类和标准模板库、输入/输出等内容。本书针对C++初学者,从C语言基础知识开始介绍,然后在此基础上详细阐述C++新增的特性,因此不要求读者有较多C语言方面的背景知识。本书可以作为高等院校C++课程的教材,也可以供初学者自学C++时使用。 链接:https://www.aliyundrive.com/s/2yMNjJ2nE9z 大小:348.59M 标签:#计算机 #编程 #C #课程 #教材 来自:雷锋 版权:版权反馈/DMCA 频道:@shareAliyun 群组:@aliyundriveShare 投稿:@aliyun_share_bot

封面图片

Fluvio是一个用Rust编写的高性能分布式数据流平台,旨在轻松运行实时应用程序。

Fluvio是一个用Rust编写的高性能分布式数据流平台,旨在轻松运行实时应用程序。 Fluvio具有在线计算能力的开源数据流平台。 当数据记录在网络上移动时,应用自定义程序来实时聚合、关联和转换数据记录。 |

封面图片

是一种类似于 C 的可嵌入编程语言,具有高级功能,例如函数重载、运算符重载、类成员函数和属性、自动垃圾收集、闭包、协程、本地函数

是一种类似于 C 的可嵌入编程语言,具有高级功能,例如函数重载、运算符重载、类成员函数和属性、自动垃圾收集、闭包、协程、本地函数、类型推断、运行时类型信息、模块、列表理解、枚举、命名空间、泛型函数和类。 nullc 库可以在 VM 上执行代码或将其转换为 x86 代码以快速执行。它还可以将 nullc 文件转换为 C 源文件。 该存储库构建了多个附加工具: ●nullcl - 将 nullc 源文件编译为二进制模块、C 源文件或可执行文件(使用 gcc)的工具。 ●nullcexec - 执行 nullc 源文件的工具。 ●nullc_ide - 一个简单的文本编辑器,具有代码着色和简单的调试兼容性(包括对执行 nullc 脚本的应用程序的远程调试)。 ●nullc_lang_server - 与 IDE 集成的语言服务器实现 ●nullc_lang_debugger - 一个调试适配器,还包括用于执行 nullc 程序的语言运行时 ●nullc_lang_client - 包含 nullc_lang_server 和 nullc_lang_debugger 的 Visual Studio Code 扩展适配器

封面图片

- HumanEval:Python代码补全任务,(Chen等人,2021),零-shot评估通过率@1。

- HumanEval:Python代码补全任务,(Chen等人,2021),零-shot评估通过率@1。 - 数学:中学和高中的数学问题以LaTeX格式编写,(Hendrycks等,2021),使用固定的4个提示进行提示。 在这些基准测试中,Grok-1展现出了强大的结果,超过了其所属计算级别中的所有其他模型,包括ChatGPT-3.5和Inflection-1。它只被那些使用了大量训练数据和计算资源进行训练的模型所超越,比如GPT-4。这展示了我们在xAI方面以卓越的效率训练LLM模型所取得的快速进展。 由于这些基准测试可以在网络上找到,我们不能排除我们的模型无意中是在这些基准测试上进行训练的,因此我们对我们的模型(以及Claude-2和GPT-4)进行了手动评分,评估的是2023年5月底发布的匈牙利国家高中数学期末考试,这是在我们收集数据集之后发布的。Grok在考试中获得了C(59%),而Claude-2获得了相同的成绩(55%),GPT-4获得了B(68%)。所有模型都在温度为0.1且相同的提示下进行评估。值得注意的是,我们没有为这次评估进行任何调整。这个实验是对我们的模型从未明确调整过的数据集进行的“现实生活”测试。 我们在模型卡中提供了Grok-1的重要技术细节摘要。 xAI的工程技术 在深度学习研究的前沿,可靠的基础设施必须像数据集和学习算法一样慎重构建。为了创建Grok,我们基于Kubernetes、Rust和JAX构建了一个定制的训练和推理框架。 LLM培训就像一辆疾驰的货运火车,如果其中一节车厢出轨,整个火车都会脱轨,使得重新恢复正常运行变得困难。GPU的故障方式多种多样:制造缺陷、松动的连接、配置错误、降级的内存芯片、偶发的随机位翻转等等。在训练过程中,我们需要在数万个GPU之间进行计算同步,而由于规模的扩大,所有这些故障模式都变得更加频繁。为了克服这些挑战,我们采用了一套自定义的分布式系统,确保每一种故障都能立即被识别并自动处理。在xAI,我们将最大化每瓦有用计算作为我们努力的重点。在过去几个月中,我们的基础设施使我们能够将停机时间降至最低,并在硬件不可靠的情况下保持高模型浮点运算利用率(MFU)。 Rust已被证明是构建可扩展、可靠和易维护基础设施的理想选择。它提供高性能、丰富的生态系统,并防止了分布式系统中通常会遇到的大多数错误。考虑到我们团队规模较小,基础设施的可靠性至关重要,否则维护将会抑制创新。Rust让我们有信心,任何代码修改或重构都有可能产生可运行数月且需要最少监督的程序。 我们现在正在为我们下一次模型能力的跃升做准备,这将需要可靠地协调数万个加速器上的训练运行,运行互联网规模的数据管道,并将新的能力和工具集成到Grok中。如果这听起来令人兴奋,请申请加入我们的团队。 xAI的研究 我们为Grok提供了搜索工具和实时信息的访问权限,但是像所有基于下一个标记预测训练的LLM一样,我们的模型仍然可能生成错误或矛盾的信息。我们相信实现可靠的推理是解决当前系统限制的最重要的研究方向。在这里,我们想要强调一些在xAI最令人兴奋的有前途的研究方向。 - 可扩展的工具辅助监督。人类反馈至关重要。然而,在处理冗长的代码或复杂的推理步骤时,提供一致准确的反馈可能具有挑战性。人工智能可以通过查找不同来源的参考资料、使用外部工具验证中间步骤,并在必要时寻求人类反馈来协助可扩展的监督。我们的目标是在我们的模型的帮助下,最有效地利用我们的人工智能导师的时间。 - 将正式验证与安全性、可靠性和基础结合起来。为了创建能够深入思考现实世界的AI系统,我们计划在较少歧义和更可验证的情况下开发推理能力。这使我们能够在没有人类反馈或与现实世界的互动的情况下评估我们的系统。这种方法的一个主要即时目标是为代码正确性提供正式保证,特别是关于AI安全的可验证方面。 - 长上下文理解和检索。训练模型以高效地在特定上下文中发现有用的知识是打造真正智能系统的核心。我们正在研究能够在需要时发现和检索信息的方法。 - 对抗性鲁棒性。对抗性示例表明,优化器可以轻易地利用人工智能系统的漏洞,无论是在训练还是服务期间,从而导致系统犯下严重错误。这些漏洞是深度学习模型长期存在的弱点。我们特别关注提高LLMs、奖励模型和监控系统的鲁棒性。 - 多模态能力。目前,Grok没有其他感官,比如视觉和听觉。为了更好地帮助用户,我们将为Grok配备这些不同的感官,以实现更广泛的应用,包括实时互动和协助。 我们相信人工智能对于为社会做出重大科学和经济贡献具有巨大潜力,因此我们将努力开发可靠的防范措施,以防止恶意使用带来的灾难性后果。我们坚信要尽最大努力确保人工智能始终成为一种正能量。 如果你和我们一样乐观,并且想为我们的使命做出贡献,请申请加入我们的团队。 Grok的早期访问 我们正在向美国地区的一部分用户提供机会,让他们尝试我们的Grok原型,并提供宝贵的反馈意见,以帮助我们在正式发布之前改进其功能。您可以在这里加入Grok的等待列表。这次发布只是xAI的第一步。展望未来,我们有一个令人兴奋的路线图,并将在未来几个月推出新的功能和特性。

🔍 发送关键词来寻找群组、频道或视频。

启动SOSO机器人