Axioms
PulseAugur coverage of Axioms — every cluster mentioning Axioms across labs, papers, and developer communities, ranked by signal.
1 天有情绪数据
-
新型INT8硬件芯片加速Transformer推理和翻译
研究人员开发了Transformer Accelerator (TFA)，这是一款专为Transformer模型高效INT8推理设计的专用硬件芯片。这款内存到内存引擎使用单一数据路径处理提示处理和自回归生成。TFA集成了矩阵乘法、softmax、RMSNorm等操作，这些操作经过离线编译并通过AXI接口分发，支持各种Transformer架构。该设计已成功演示了预训练Transformer的比特精确执行，与基于CPU的推理相比，实现了…
-
SK Hynix、SanDisk 发布用于 AI 推理内存墙的高带宽闪存
SK Hynix 和 SanDisk 合作开发了高带宽闪存 (HBF)，这是一种旨在解决 AI 推理中内存墙挑战的新内存层。HBF 将大容量 NAND 闪存置于靠近各种 xPU（包括 GPU）的位置，以缓解数据移动造成的瓶颈。该规范在 Google 和 Tenstorrent 的参与下制定，定位在 HBM 和 SSD 之间，通过 Base Die 和主机软件管理模型权重、KV 缓存和代理工作负载等大型数据集。虽然 HBF 通过多通道并…
-
新的逻辑回归方法改进了带公理的AI规划 · 跟踪到1个来源
研究人员开发了一种新的方法，用于近似包含公理的自动化规划域中的逻辑回归。该方法将条件限制在部分状态，在不重新计算公理的情况下最小化这些状态。当集成到执行监控环境中时，该方法展示了部分状态的显著泛化能力，将考虑的变量数量减少了多达70%，并在环境中意外变化时实现了稳健的恢复。
-
新基准 CLOSER-Bench 评估硬件设计收敛中的 AI 代理
研究人员推出了 CLOSER-Bench，这是一个新的评估协议，旨在评估 AI 代理在硬件工程任务中的能力。该基准侧重于预算跨阶段设计收敛，整合了从规范到 RTL 生成，以及从 RTL 到物理实现 (GDS) 的任务。它利用了 Verilator、Yosys 和 OpenROAD 等开源工具，并衡量最终质量、随时间推移的进展、工具成本以及从后端故障中恢复的能力。初步测试显示，代理解决局部编码任务的能力与它们在集成验证和收敛挑战中的表现…