compiler correctness 1empirical evaluation 1floating-point diagnostics 1numerical accuracy 1software testing 1
From the 1 of 3 linked papers with an AI index.
3 papers
cs.LG2026
Quantum-Structured World Models (QSWMs) for Predictive Latent Dynamics
Hailong Jiang, Emran Hossain, Feng Yu +3
World models learn latent states that summarize interaction histories, evolve over time, and support prediction, simulation, or planning. Most existing world models represent these…
cs.PL2026
Can Large Language Models Recover Semantic Optimization Opportunities That Compilers Miss?
Hailong Jiang, Feng Yu, Emran Hossain +4
Optimizing compilers miss profitable transformations when their enabling semantics are absent from the analyzed program representation. We ask whether large language models (LLMs)…
cs.PL2026
BMOA: Baseline-Mechanism-Outcome Attribution for Compiler-Induced Numerical Deviations
Hailong Jiang, Emran Hossain, Feng Yu +4
The paper presents BMOA, a diagnostic framework that separates baseline, compiler mechanism, and outcome to attribute observed floating-point differences to compiler behavior and n…