Learning fast and precise numerical analysis.

Jingxuan He, Gagandeep Singh, Markus Pschel, Martin T. Vechev

Browse the full PLDI paper archive.