most citedThe Born Supremacy: Quantum Advantage and Training of an Ising Born Machine

157 citations

researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

collaborating institutions

4 papers

cs.LO2019★ 9 cited

Combinatorial Conversion and Moment Bisimulation for Stochastic Rewriting Systems

Nicolas Behr, Vincent Danos, Ilias Garnier

We develop a novel method to analyze the dynamics of stochastic rewriting systems evolving over finitary adhesive, extensive categories. Our formalism is based on the so-called rul…

quant-ph2019★ 157 cited

The Born Supremacy: Quantum Advantage and Training of an Ising Born Machine

Brian Coyle, Daniel Mills, Vincent Danos +1

The search for an application of near-term quantum devices is widespread. Quantum Machine Learning is touted as a potential utilisation of such devices, particularly those which ar…

cs.PL2015

Synthesizing Short-Circuiting Validation of Data Structure Invariants

Yi-Fan Tsai, Devin Coughlin, Bor-Yuh Evan Chang +1

This paper presents incremental verification-validation, a novel approach for checking rich data structure invariants expressed as separation logic assertions. Incremental verifica…

cs.LO2015★ 2 cited

Thermodynamic graph-rewriting

Vincent Danos, Russell Harmer, Ricardo Honorato-Zimmer

We develop a new thermodynamic approach to stochastic graph-rewriting. The ingredients are a finite set of reversible graph-rewriting rules called generating rules, a finite set of…