Numerical Superoptimization for Library Learning

Jonas Regehr, Mitch Briles, Zachary Tatlock +1

Numerical software depends on fast, accurate implementations of mathematical primitives like sin, exp, and log. Modern superoptimizers can optimize floating-point kernels against a…