Mark Koch

According to our database, Mark Koch authored at least 4 papers between 2022 and 2023.

Collaborative distances:

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

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