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…
quant-ph2024
Memory-optimised Cubic Splines for High-fidelity Quantum Operations
Jan Ole Ernst, Jan Snoeijs, Mitchell Peaks +1
Radio-frequency pulses are widespread for the control of quantum bits and the execution of operations in quantum computers. The ability to tune key pulse parameters such as time-de…