V-SPELLS: Verified Security and Performance Enhancement of Large Legacy Software
项目负责人：Sergey Bratus 博士 赞助组织：DARPA网站：https://www.darpa.mil/program/verified-security-and-performance-enhancement-of-large-legacy-software 项目概要：V-SPELLS 旨在通过逐步引入更优的软件验证来彻底扩大软件验证的采用范围
IEEE Transactions on Evolutionary Computation, Volume 28, Issue 6
1) 具有共享个体的多任务线性遗传规划及其在动态作业车间调度中的应用作者：Zhixing Huang, Yi Mei, Fangfang Zhang, Mengjie Zhang页数：1546 - 15602) 评估将进化与学习相结合以在复杂形态空间中设计机器人的框架作者：Wei Li, Edgar Buchanan, Léni K. Le Goff, Emma Hart, Matthew F. Hale, Bingsheng Wei, Matteo De Carlo, Mike Angus, Robert Woolley, Zhongxue Gan, Alan F. Winfield, Jo
让您的 AI 任务区分困难和简单问题在这篇立场文件中，我讨论了一个前提，即许多潜在的性能增强都被搁置了，因为我们通常不解决动态执行的潜力。我想我需要首先定义在这种情况下什么是动态执行。正如你们许多人无疑知道的那样，我们经常通过仔细研究模型本身以及可以做些什么来使该模型的处理更高效（可以通过更低的延迟、更高的吞吐量和/或节能来衡量）来解决性能优化问题。这些方法通常解决模型的大小问题，因此我们会寻找压缩模型的方法。如果模型较小，则内存占用和带宽要求会得到改善。一些方法还解决了模型中的稀疏性问题，从而避免了无关紧要的计算。不过……我们只关注模型本身。这绝对是我们想要做的事情，但是还有其他机会可以利用
Introducing MPT-7B: a new open-source, commercially usable LLM
MPT-7B 提供优化的架构和性能增强，包括与 HuggingFace 生态系统的兼容性。该模型在 1 万亿个文本和代码标记上进行了训练，并为可商业使用的 LLM 树立了新标准。
Army to offer up to $3.8 million for mixed-reality displays
华盛顿 - 增强训练和战术意识对于美国高性能增强现实设备至关重要。陆军最新的沉浸式和我们...
