3 papers
cs.ET2026
CN101 - A Digital Thermodynamic Computer for Generative AI
Lars Holdijk, Denis Melanson, Zier Mensch +14
Thermodynamic computing is an emerging hardware paradigm, in which stochastic physical dynamics serve as the direct computational primitive. The recent explosion of generative AI h…
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.ET2025
Scalable Thermodynamic Second-order Optimization
Kaelan Donatella, Samuel Duffield, Denis Melanson +7
Many hardware proposals have aimed to accelerate inference in AI workloads. Less attention has been paid to hardware acceleration of training, despite the enormous societal impact…