Buchumschlag

CETBench: A Novel Dataset constructed via Transformations over Programs for Benchmarking LLMs for Code-Equivalence Checking

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Oza, Neeva, Govil, Ishaan, Gupta, Parul, Khandelwal, Dinesh, Garg, Dinesh, Singla, Parag
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Software Engineering Computation and Language Machine Learning Programming Languages 68-02 (Primary) 68T50, 68T07, 68N19, 68N30 (Secondary) I.2.7; I.2.6; I.2.5; D.3.0; D.3.3; D.3.1; F.3.2; F.3.1; F.3.3; D.2.3; D.2.5
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Kodezi Chronos: A Debugging-First Language Model for Repository-Scale Code Understanding
von: Khan, Ishraq, et al.
Veröffentlicht: (2025)

BRIDGE: Building Representations In Domain Guided Program Synthesis
von: George, Robert Joseph, et al.
Veröffentlicht: (2025)

RepoAudit: An Autonomous LLM-Agent for Repository-Level Code Auditing
von: Guo, Jinyao, et al.
Veröffentlicht: (2025)

Inferring Input Grammars from Code with Symbolic Parsing
von: Bettscheider, Leon, et al.
Veröffentlicht: (2025)

Test Case Features as Hyper-heuristics for Inductive Programming
von: McDaid, Edward, et al.
Veröffentlicht: (2024)

Supporting software engineering tasks with agentic AI: Demonstration on document retrieval and test scenario generation
von: Kica, Marian, et al.
Veröffentlicht: (2026)

AI for software engineering: from probable to provable
von: Meyer, Bertrand
Veröffentlicht: (2025)

LLMDFA: Analyzing Dataflow in Code with Large Language Models
von: Wang, Chengpeng, et al.
Veröffentlicht: (2024)

Transport via Partial Galois Connections and Equivalences
von: Kappelmann, Kevin
Veröffentlicht: (2023)

Instruction and Solution Probabilities as Heuristics for Inductive Programming
von: McDaid, Edward, et al.
Veröffentlicht: (2025)

Compile-Time Tensor Shape Checking via Staged Shape-Dependent Types
von: Suwa, Takashi, et al.
Veröffentlicht: (2026)

The Semantics of Metapropramming in Prolog
von: Warren, David S.
Veröffentlicht: (2024)

Learning Program Behavioral Models from Synthesized Input-Output Pairs
von: Mammadov, Tural, et al.
Veröffentlicht: (2024)

Imandra CodeLogician: Neuro-Symbolic Reasoning for Precise Analysis of Software Logic
von: Lin, Hongyu, et al.
Veröffentlicht: (2026)

Unraveling the iterative CHAD
von: Nunes, Fernando Lucatelli, et al.
Veröffentlicht: (2025)

ORPHEAS: A Cross-Lingual Greek-English Embedding Model for Retrieval-Augmented Generation
von: Livieris, Ioannis E., et al.
Veröffentlicht: (2026)

Contract-based Verification of Digital Twins
von: Naeem, Muhammad, et al.
Veröffentlicht: (2025)

Multiple Query Satisfiability of Constrained Horn Clauses
von: De Angelis, Emanuele, et al.
Veröffentlicht: (2022)

On systematic construction of correct logic programs
von: Drabent, Włodzimierz
Veröffentlicht: (2025)

Abstracting Effect Systems for Algebraic Effect Handlers
von: Yoshioka, Takuma, et al.
Veröffentlicht: (2024)

Implementing backjumping by means of exception handling
von: Drabent, Włodzimierz
Veröffentlicht: (2023)

GE-Chat: A Graph Enhanced RAG Framework for Evidential Response Generation of LLMs
von: Da, Longchao, et al.
Veröffentlicht: (2025)

Towards Robust Retrieval-Augmented Generation Based on Knowledge Graph: A Comparative Analysis
von: Amamou, Hazem, et al.
Veröffentlicht: (2026)

The concept of class invariant in object-oriented programming
von: Meyer, Bertrand, et al.
Veröffentlicht: (2021)

Weak-linearity, globality and in-place update
von: Gramaglia, Hector
Veröffentlicht: (2024)

Feature-Factory: Automating Software Feature Integration Using Generative AI
von: Vsevolodovna, Ruslan Idelfonso Magana
Veröffentlicht: (2024)

NeuroLog: Reasoning You Can Audit -- Neuro-Symbolic Vulnerability Discovery via LLM Facts, Datalog, and SMT
von: Rawat, Sanjay
Veröffentlicht: (2026)

Formal Verification of Imperative First-Class Functions in Move
von: Grieskamp, Wolfgang, et al.
Veröffentlicht: (2026)

Polymorphic Bottom-Up Weighted Relational Programming
von: Volkov, Dmitri
Veröffentlicht: (2026)

Committing to the bit: Relational programming with semiring arrays and SAT solving
von: Volkov, Dmitri, et al.
Veröffentlicht: (2025)

A Novel Kuhnian Ontology for Epistemic Classification of STM Scholarly Articles
von: Saqr, Khalid M.
Veröffentlicht: (2020)

Visualizing the Evolution of Twitter (X.com) Conversations: A Comprehensive Methodology Applied to AI Training Discussions on ChatGPT
von: Jess, Nicole, et al.
Veröffentlicht: (2024)

Model Callers for Transforming Predictive and Generative AI Applications
von: Dalal, Mukesh
Veröffentlicht: (2024)

An Integrated Framework of Prompt Engineering and Multidimensional Knowledge Graphs for Legal Dispute Analysis
von: Zhang, Mingda, et al.
Veröffentlicht: (2025)

SQuARE: Structured Query & Adaptive Retrieval Engine For Tabular Formats
von: Gondhalekar, Chinmay, et al.
Veröffentlicht: (2025)

Modelling Distributed Applications with Mixed-Choice Stateful Typestates
von: Parrinha, Francisco, et al.
Veröffentlicht: (2026)

Chain-Oriented Objective Logic with Neural Network Feedback Control and Cascade Filtering for Dynamic Multi-DSL Regulation
von: Han, Jipeng
Veröffentlicht: (2024)

High-Performance Generation of Constrained Inputs
von: Crump, Addison, et al.
Veröffentlicht: (2025)

Deconstructed Proto-Quipper: A Rational Reconstruction
von: Kavanagh, Ryan, et al.
Veröffentlicht: (2025)

Heterogeneous LLM Methods for Ontology Learning (Few-Shot Prompting, Ensemble Typing, and Attention-Based Taxonomies)
von: Beliaeva, Aleksandra, et al.
Veröffentlicht: (2025)