mark-koch

Pinned Repositories

coq-library-fol
Language:Coq00
coq-library-undecidability
A library of formalised undecidable problems in Coq
Language:Coq00
deep-convolutional-tts
A PyTorch implementation of DCTTS: https://arxiv.org/pdf/1710.08969
Language:Python2 3 01
deep-learning-for-symbolic-mathematics
Language:Python11
deep-painterly-harmonization
A TensorFlow implementation of "Deep Painterly Harmonization": https://arxiv.org/abs/1804.03189
Language:Python84
firstorder-proof-mode
A first-order logic proof mode in Coq
Language:Coq30
graph-rnn
Reproducability experiments for You et al.'s GraphRNN paper
Language:Python3 5 00
hugr-llvm
Language:Rust0 0 00
msc-code
Code to reproduce results from my MSc thesis
Language:Rust3 1 00
zxlive
A graphical tool for the ZX calculus
Language:Python00

mark-koch's Repositories

mark-koch/deep-painterly-harmonization
A TensorFlow implementation of "Deep Painterly Harmonization": https://arxiv.org/abs/1804.03189
Language:Python84
mark-koch/firstorder-proof-mode
A first-order logic proof mode in Coq
Language:Coq30
mark-koch/graph-rnn
Reproducability experiments for You et al.'s GraphRNN paper
Language:Python3 5 00
mark-koch/msc-code
Code to reproduce results from my MSc thesis
Language:Rust3 1 00
mark-koch/deep-convolutional-tts
A PyTorch implementation of DCTTS: https://arxiv.org/pdf/1710.08969
Language:Python2 3 01
mark-koch/deep-learning-for-symbolic-mathematics
Language:Python11
mark-koch/coq-library-fol
Language:Coq00
mark-koch/coq-library-undecidability
A library of formalised undecidable problems in Coq
Language:Coq00
mark-koch/hugr-llvm
Language:Rust0 0 00
mark-koch/zxlive
A graphical tool for the ZX calculus
Language:Python00