2 papers
physics.app-ph2026
Delayed Coupling Restores Ising Phase Dynamics in Physical Oscillator Networks
Yi Cheng, Liangtao Dai, Mircea R Stan +1
Oscillator-based Ising machines, in which the phases of coupled self-sustaining oscillators evolve toward decreasing an Ising Hamiltonian, are commonly interpreted as physical real…
cs.CR2026
Guarded Equivalence Predicates for Scalable Formal Hardware Information-Flow Verification
Liangtao Dai, Yimin Gao, Melika Morsali +1
Formal hardware information-flow verification is a principled way to rule out secret-dependent functional or timing observations, but scaling such proofs remains difficult. Self-co…