Semantic Equivalence Verification of HPC Codes Using LLMs. - Yuta Tanizawa; Masatoshi Kawai; Keichi Takahashi; Hiroyuki Takizawa (SCA/HPC Asia Workshops, 2026)