1 paper
Riley Evans, Samantha Frohlich, Meng Wang
Dataflow applications, such as machine learning algorithms, can run for days, making it desirable to have assurances that they will work correctly. Current tools are not good enoug…