Yuta Tanizawa, Masatoshi Kawai, Keichi Takahashi, Hiroyuki Takizawa. Semantic Equivalence Verification of HPC Codes Using LLMs. In Proceedings of the Supercomputing Asia and International Conference on High Performance Computing in Asia Pacific Region Workshops, SCA/HPCAsiaWS 2026, Osaka, Japan, January 26-29, 2026. pages 370-377, ACM, 2026. [doi]
Abstract is missing.