@misc{indiciae5daf0631f861, title = {Learning Functional Equivalence via Supervised Contrastive Code-Problem Alignment}, author = {Cheung, Siu Wun [Lawrence Livermore National Laboratory] and Gopalakrishnan Menon, Harshitha [Lawrence Livermore National Laboratory]}, year = {2026}, url = {https://www.osti.gov/biblio/3375385}, note = {Source identifier: 3375385} }