NeurIPS

Conference on Neural Information Processing Systems · 会议 · Machine Learning

2025-09-12 至 2025-09-12 共收录 1 篇

2210.02671 2025-09-12 cs.LG cs.CC

A Logic for Expressing Log-Precision Transformers

William Merrill, Ashish Sabharwal

机构 * New York University（纽约大学）； Allen Institute for AI（人工智能研究院）

Comments May 24, 2023: Restructured version of old preprint. Oct 12, 2023: To appear at NeurIPS. Sept 10, 2025: minor technical corrections

↑