LLM4FP: LLM-Based Program Generation for Triggering Floating-Point Inconsistencies Across Compilers
LLM4FP: 基于大型语言模型的程序生成以触发不同编译器间的浮点不一致
专题命中 其他LLM :LLM(title,abstract);large language model(abstract);language model(abstract)
AI总结 LLM4FP通过生成浮点程序触发不同编译器间的不一致,提升数值不一致检测能力,揭示更多优化级别间的不匹配。