5 citations · 11 across the 5 of their papers we have counts for
5 papers
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…
DRAMPyML: A Formal Description of DRAM Protocols with Timed Petri Nets
Derek Christ, Thomas Zimmermann, Philippe Barbie +3
The JEDEC committee defines various domain-specific DRAM standards. These standards feature increasingly complex and evolving protocol specifications, which are detailed in timing…
Provably efficient variational generative modeling of quantum many-body systems via quantum-probabilistic information geometry
Faris M. Sbahi, Antonio J. Martinez, Sahil Patel +4
The dual tasks of quantum Hamiltonian learning and quantum Gibbs sampling are relevant to many important problems in physics and chemistry. In the low temperature regime, algorithm…
Regulated State Synchronization for Discrete-Time Homogeneous Networks of Non-Introspective Agents in Presence of Unknown Non-Uniform Input Delays: A Scale-Free Protocol Design (with a general MATLAB implementation)
Zhenwei Liu, Donya Nojavanzadeh, Dmitri Saberi +2
This paper studies regulated state synchronization of discrete-time homogeneous networks of non-introspective agents in presence of unknown non-uniform input delays. A scale free p…
Regulated State Synchronization for Homogeneous Networks of Non-introspective Agents in Presence of Input Delays: A Scale-Free Protocol Design (with a general MATLAB implementation)
Zhenwei Liu, Donya Nojavanzadeh, Dmitri Saberi +2
This paper studies regulated state synchronization of homogeneous networks of non-introspective agents in presence of unknown nonuniform input delays. A scale-free protocol is desi…