Undecidability, incompleteness, and completeness of second-order logic in Coq. - Mark Koch; Dominik Kirst (CPP, 2022)

Quantum Machine Learning using the ZXW-Calculus. - Mark Koch (CoRR, 2022)

Paint it Black: Generating paintings from text descriptions. - Mahnoor Shahid; Mark Koch; Niklas Schneider (CoRR, 2023)

GraphRNN Revisited: An Ablation Study and Extensions for Directed Acyclic Graphs. - Taniya Das; Mark Koch; Maya Ravichandran; Nikhil Khatri (CoRR, 2023)

Differentiating and Integrating ZX Diagrams with Applications to Quantum Machine Learning. - Quanlong Wang; Richie Yeung; Mark Koch (Quantum, 2024)