Learning Fast and Precise Numerical Analysis

Published in PLDI, 2020

Recommended citation: Jingxuan He, Gagandeep Singh, Markus Püschel, Martin Vechev, PLDI 2020. /files/pldi20-lait.pdf