Herbie: Automatically improve imprecise floating point formulas
2 days ago
- #floating-point-accuracy
- #numerical-computation
- #software-tool
- Herbie rewrites floating-point expressions to improve accuracy by addressing inherent inaccuracies in floating-point arithmetic.
- Users can start Herbie via command line, input expressions and variable ranges, then receive improved alternatives with accuracy and speed metrics.
- The tutorial demonstrates using Herbie on an existing bug in math.js, focusing on the complex square root function by extracting mathematical cores and handling branches separately.
- Herbie generates multiple alternatives, including more accurate versions with conditional logic and function replacements, and allows translation to specific programming languages.