Gagandeep Singh 0001. Scalable Automated Reasoning for Programs and Deep Learning. PhD thesis, ETH Zurich, Zürich, Switzerland, 2020. [doi]
@phdthesis{basesearch-15104,
title = {Scalable Automated Reasoning for Programs and Deep Learning},
author = {Gagandeep Singh 0001},
year = {2020},
url = {https://www.base-search.net/Record/a7f30282374c35fc3afb8f76907a48649c9612021a7ea914ff408dc8c781a42b},
note = {base-search.net (ftethz:oai:www.research-collection.ethz.ch:20.500.11850/445921)},
researchr = {https://researchr.org/publication/basesearch-15104},
cites = {0},
citedby = {0},
school = {ETH Zurich, Zürich, Switzerland},
}