TY - RPRT TI - Learning Functional Equivalence via Supervised Contrastive Code-Problem Alignment AU - Cheung, Siu Wun [Lawrence Livermore National Laboratory] AU - Gopalakrishnan Menon, Harshitha [Lawrence Livermore National Laboratory] PY - 2026 UR - https://www.osti.gov/biblio/3375385 ID - 3375385 ER -