Mark Koch

According to our database, Mark Koch authored at least 8 papers between 2022 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Imperative Quantum Programming with Ownership and Borrowing in Guppy.

Mark Koch, Agustín Borgna, Craig Roy, Alan Lawrence, Kartik Singhal, Seyon Sivarajah, Ross Duncan

CoRR, October, 2025

GUPPY: Pythonic Quantum-Classical Programming.

Mark Koch, Alan Lawrence, Kartik Singhal, Seyon Sivarajah, Ross Duncan

CoRR, October, 2025

HUGR: A Quantum-Classical Intermediate Representation.

Mark Koch, Agustín Borgna, Seyon Sivarajah, Alan Lawrence, Alec Edgington, Douglas Wilson, Craig Roy, Luca Mondada, Lukas Heidemann, Ross Duncan

CoRR, October, 2025

2024

Differentiating and Integrating ZX Diagrams with Applications to Quantum Machine Learning.

Quanlong Wang, Richie Yeung, Mark Koch

Quantum, 2024

2023

GraphRNN Revisited: An Ablation Study and Extensions for Directed Acyclic Graphs.

Taniya Das, Mark Koch, Maya Ravichandran, Nikhil Khatri

CoRR, 2023

Paint it Black: Generating paintings from text descriptions.

Mahnoor Shahid, Mark Koch, Niklas Schneider

CoRR, 2023

2022

Quantum Machine Learning using the ZXW-Calculus.

Mark Koch

CoRR, 2022

Undecidability, incompleteness, and completeness of second-order logic in Coq.

Mark Koch, Dominik Kirst

Proceedings of the CPP '22: 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, Philadelphia, PA, USA, January 17, 2022