Shaman uses Error Free Transforms to explicitly evaluate order 1 rounding error of IEEE floating point. It works as a library and it just needs the user to replace their scalar types by Shaman's. We will soon adapt it to integrate well with Kokkos and be able to assess numerical accuracy of GPU kernels.
The long term goal is to ease the move to cheaper and faster datatypes introduced for AI computations.
Shaman uses Error Free Transforms to explicitly evaluate order 1 rounding error of IEEE floating point. It works as a library and it just needs the user to replace their scalar types by Shaman's. We will soon adapt it to integrate well with Kokkos and be able to assess numerical accuracy of GPU kernels. The long term goal is to ease the move to cheaper and faster datatypes introduced for AI computations.