3 papers
cs.DS2026
Fast Evaluation of Polynomials with Rational Preprocessing
Thomas D. Ahle, Jakob B. T. Knudsen
Horner's rule evaluates a monic degree- polynomial using multiplications. We show that with rational preprocessing of the coefficients, any such polynomial can be evaluate…
cs.AR2026
Autoformalizing Memory Specifications with Agents
Jan Ole Ernst, Dmitri Michelangelo Saberi, Derek Christ +6
The primary goal of Design Verification (DV) is to ensure that a proposed chip design implementation (either in code, or physical form) exactly matches its specification and is fre…
cs.LG2024
Extended Mind Transformers
Phoebe Klett, Thomas Ahle
Pre-trained language models demonstrate general intelligence and common sense, but long inputs quickly become a bottleneck for memorizing information at inference time. We resurfac…