H herbie.uwplse.org Herbie: Automatically improve imprecise floating point formulas 198 points summarity 7 months ago 45 comments
