Some other resources you may find interesting
https://fpbench.org/index.html - I think I saw a talk at FPTalks that felt related to your topic "Creating correctly rounded math libraries for real number approximations"
https://fpbench.org/community.html
https://hal-ens-lyon.archives-ouvertes.fr/ensl-01529804 - Correctly Rounded libm
https://www.mpfr.org/ - GNU Multi precision floating point
http://sollya.gforge.inria.fr/ - A tool for floating point code development