EAGER: Formal reasoning with SPIRAL program generation and automatic hardware-centric optimization to achieve guarantees in high performance math kernels produced by generative AI
National Science Foundation (US)
· United States · $2.95M USD
We use cookies to keep your session secure, remember your preferences, and analyse site traffic with Google Analytics.
By continuing to use GrantFunds you agree to our
Privacy Policy
and
Terms of Use.