H herbie.uwplse.org Herbie: Automatically Improving Floating Point Accuracy 152 points lelf 6 years ago 17 comments
