Matthew Mirman, Dimitar Dimitrov, Pavle Djordjevic, Timon Gehr, Martin T. Vechev
Training Neural Machines with Trace-Based Supervision
ICML, 2018.
@inproceedings{ICML-2018-MirmanDDGV,
author = "Matthew Mirman and Dimitar Dimitrov and Pavle Djordjevic and Timon Gehr and Martin T. Vechev",
booktitle = "{Proceedings of the 35th International Conference on Machine Learning}",
ee = "http://proceedings.mlr.press/v80/mirman18a.html",
pages = "3566--3574",
publisher = "{PMLR}",
title = "{Training Neural Machines with Trace-Based Supervision}",
year = 2018,
}