Looks quite interesting. Is there a paper&#x2F;tech report that describes the approach? The website [1] seems to be down at the moment.<p>[1] <a href="http:&#x2F;&#x2F;herbie.uwplse.org&#x2F;" rel="nofollow">http:&#x2F;&#x2F;herbie.uwplse.org&#x2F;</a>