Optimize floating-point expressions for accuracy
Herbie 2.0 focuses on clarity, transparency, and trade-offs. It features new support for speed-accuracy trade-offs, new reports and metrics, and auditable derivations for Herbie's internal steps. This re-release works around an issue building binary packages but is otherwise identical to 2.0.
Herbie 2.0 focuses on clarity, transparency, and trade-offs. It features new support for speed-accuracy trade-offs, new reports and metrics, and auditable derivations for Herbie's internal steps. This re-release works around an issue on the Racket Package server but is otherwise identical to 2.0.
Herbie 2.0 focuses on clarity, transparency, and trade-offs. It features new support for speed-accuracy trade-offs, new reports and metrics, and auditable derivations for Herbie's internal steps.
Herbie's seventh release focuses on further integration of egg, improved reliability, a better web interface, and shorter branch conditions. Herbie 1.6 is faster and simpler than the previous release.
Herbie's sixth release focuses on multiple precisions, new syntax, and higher accuracy. We're especially excited for the new Pareto mode, advanced handling for symmetric expressions, and support for function definitions.
Herbie's fifth release continues a focus on speed and predictability. Herbie 1.4 is nearly twice as fast and Herbie 1.3, and also makes Herbie smart enough to avoid sampling error in many cases.
Herbie's fourth release focuses on speed and transparency: Herbie 1.3 is nearly twice as fast as Herbie 1.2, and includes cleaner, more comprehensive HTML output.
Herbie's third release significantly improves Herbie's creativity and accuracy, with a better system for inferring branches, a new binary search technique to make those branches more accurate, and bigger defaults for various search parameters to ensure Herbie always delivers the most accurate results.
Herbie's third release significantly improves Herbie's creativity and accuracy, with a better system for inferring branches, a new binary search technique to make those branches more accurate, and bigger defaults for various search parameters to ensure Herbie always delivers the most accurate results.
Herbie's second release makes Herbie easier to use with a new web-based interface, more helpful errors, and expanded support for trigonometric and hyperbolic functions, plus speedier and more precise core algorithms.