LLM4FP: LLM-Based Program Generation for Triggering Floating-Point Inconsistencies Across Compilers

Yutong Wang, Cindy Rubio-González

Floating-point inconsistencies across compilers can undermine the reliability of numerical software. We present LLM4FP, the first framework that uses Large Language Models (LLMs) t…