Our paper is accepted to OOPSLA 2023!

Our paper on synthesizing static analyzers for Automatic Differentiation code will appear at OOPSLA 2023!