Ariadne: analysis for machine learning programs.

Julian Dolby, Avraham Shinnar, Allison Allain, Jenna M. Reinen

Browse the full PLDI paper archive.