This short document accompanied a poster at the 2018 SysML conference. It was written by my advisor, Jason Eisner, but pulls heavily from our earlier documents, and he graciously included my name.

The paper may be found here.


  author  = {Jason Eisner and Nathaniel Wesley Filardo},
  title   = {Treating Machine Learning Algorithms As Declaratively Specified
  booktitle={Proceedings of the SysML Conference},
  year    = {2018},
  month   = {2},
  address = {Palo Alto, CA, USA},
  url     = {}