Massachusetts Institute of Technology（麻省理工学院）

KANELÉ: Kolmogorov-Arnold Networks for Efficient LUT-based Evaluation

KANELÉ：基于Kolmogorov-Arnold网络的高效LUT评估

Duc Hoang, Aarush Gupta, Philip Harris

机构 * Massachusetts Institute of Technology（麻省理工学院） 纠错

AI总结 提出KANELÉ框架，利用Kolmogorov-Arnold网络（KAN）的独特性质，通过量化与剪枝协同优化，首次系统实现FPGA上的高效LUT映射，相比先前方法加速高达2700倍并节省大量资源。

Comments International Symposium on Field-Programmable Gate Arrays 2026 (ISFPGA'2026)

How fast can you find a good hypothesis?

你能多快找到一个好的假设？

Anders Aamand, Maryam Aliakbarpour, Justin Y. Chen, Sandeep Silwal

机构 * BARC, University of Copenhagen（巴尔的效力研究所，哥本哈根大学） ； Rice University（里士满大学） ； MIT University of Wisconsin-Madison（麻省理工学院，威斯康星大学麦迪逊分校） 纠错

AI总结 研究假设选择问题，提出一种运行时间为poly(n)的混合输出算法，达到C=3-2/n的近似保证，并将正确算法的运行时间改进为Õ(n/(δε²))。

Comments Abstract abridged to meet arxiv requirements. This is the full version of a paper appearing at COLT 2026

ASyMOB: Algebraic Symbolic Mathematical Operations Benchmark

ASyMOB：代数符号数学运算基准

Michael Shalyt, Rotem Elimelech, Ido Kaminer

机构 * MIT（麻省理工学院） ； Technion - Israel Institute of Technology（技术学院-以色列理工学院） 纠错

AI总结 提出ASyMOB基准，包含35,368个符号数学问题，通过扰动测试揭示大模型在符号数学推理中的鲁棒性不足，并发现LLM与CAS的互补潜力。

Comments Published in ICML2026: https://icml.cc/virtual/2026/poster/63549 Code repository: https://github.com/RamanujanMachine/ASyMOB Complete benchmark dataset: https://huggingface.co/datasets/Shalyt/ASyMOB-Algebraic_Symbolic_Mathematical_Operations_Benchmark

Provable quantum speedups for computing persistence in topological data analysis

可证明的量子加速用于拓扑数据分析中的持久性计算

Casper Gyurik, Alexander Schmidhuber, Robbie King, Vedran Dunjko, Ryu Hayakawa

机构 * applied Quantum algorithms (aQa), Leiden University, 2300 RA Leiden, The Netherlands ； Center for Theoretical Physics, Massachusetts Institute of Technology, Cambridge, USA ； Department of Computing ； Yukawa Institute for Theoretical Physics \& The Hakubi Center, Kyoto University, Japan 纠错

AI总结 提出一种高效量子算法，用于判断拓扑数据分析中洞的持久性，并证明该问题为BQP_1-hard，暗示在标准复杂性假设下存在指数级量子加速。

Comments 17 pages

Journal ref PRX Quantum 7, 020361 (2026)