What can Large Language Models Capture about Code Functional Equivalence?

20 August 2024

Papers citing "What can Large Language Models Capture about Code Functional Equivalence?"

3 / 3 papers shown

Title
Program Semantic Inequivalence Game with Large Language Models Antonio Valerio Miceli-Barone Vaishak Belle Ali Payani LRM 35 0 0 02 May 2025
EquiBench: Benchmarking Large Language Models' Understanding of Program Semantics via Equivalence Checking Anjiang Wei Jiannan Cao Ran Li Hongyu Chen Yuhui Zhang ... Yuan Liu Thiago S. F. X. Teixeira Diyi Yang Ke Wang Ke Wang LRM 63 0 0 18 Feb 2025
SemCoder: Training Code Language Models with Comprehensive Semantics Yangruibo Ding Jinjun Peng Marcus J. Min Gail E. Kaiser Junfeng Yang Baishakhi Ray OffRL 67 17 0 03 Jun 2024