Search
 
   

3 results for "domain:herbie.uwplse.org"

  1. 7
    Herbie: Automatically Improving Floating Point Accuracy ☶ compsci math programming herbie.uwplse.org
    nickpsecurity avatar via nickpsecurity 18 days ago | cached | no comments
  2. 5
    Herbie: Automatically Improving Floating Point Accuracy math programming herbie.uwplse.org
    BruceM avatar via BruceM 2 years ago | cached | no comments
  3. 0
    Herbie: Automatically Improving Floating Point Accuracy compsci herbie.uwplse.org
    sanxiyn avatar via sanxiyn 2 years ago | cached | 1 comment