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 25 0 0 02 May 2025
EquiBench: Benchmarking Code Reasoning Capabilities of Large Language Models via Equivalence Checking Anjiang Wei Jiannan Cao Ran Li H. Chen Y. Zhang ... Yuan Liu Thiago S. F. X. Teixeira D. Yang Ke Wang Alex Aiken LRM 54 1 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 57 16 0 03 Jun 2024