paper-with-me

홈 › Papers

FuncEvalGMN: Evaluating Functional Correctness of SQL via Graph Matching Network

2024-07-09 · Yi Zhan, Yang Sun, Han Weng, Longjie Cui, Guifeng Wang, Jiajun Xie, Yu Tian, Xiaoming Yin, Boyi Liu, Dongchi Huang

In this paper, we propose a novel graph-based methodology to evaluate the functional correctness of SQL generation. Conventional metrics for assessing SQL code generation, such as matching-based and execution-based methods (e.g., exact set match and execution accuracy), are subject to two primary limitations. Firstly, the former fails to effectively assess functional correctness, as different SQL queries may possess identical functionalities. Secondly, the latter is susceptible to producing false positive samples in evaluations. Our proposed evaluation method, \texttt{FuncEvalGMN}, does not depend on the sufficient preparation of the test data, and it enables precise testing of the functional correctness of the code. Firstly, we parse SQL using a relational operator tree (ROT) called \textit{Relnode}, which contains rich semantic information from the perspective of logical execution.Then, we introduce a GNN-based approach for predicting the functional correctness of generated SQL. This approach incorporates global positional embeddings to address the limitations with the loss of topological information in conventional graph matching frameworks. As an auxiliary contribution, we propose a rule-based matching algorithm, Relnode Partial Matching (\texttt{RelPM}) as a baseline. Finally, we contribute a dataset, \texttt{Pair-Aug-Spider} with a training set and two testing sets, each comprising pairs of SQL codes to simulate various SQL code evaluation scenarios. The training set and one testing dataset focus on code generation using large language models (LLMs), while the other emphasizes SQL equivalence rewriting.

📄 PDF Abstract BibTeX arXiv:2407.14530

Code (0)

등록된 구현이 없습니다.

Tasks

Code GenerationGraph Matching

Methods 이 논문이 사용한 방법론

SET Dynamic Sparse Training method where weight mask is updated randomly periodically
Focus 설명 없음

Similar Papers 제목 키워드 기반

SolBench: A Dataset and Benchmark for Evaluating Functional Correctness in Solidity Code Completion and Repair

2025-03-03 · Zaoyu Chen, Haoran Qin, Nuo Chen, Xiangyu Zhao 외

Smart contracts are crucial programs on blockchains, and their immutability post-deployment makes functional correctness vital. Despite progress in code completion models, benchmarks for Solidity, the primary smart contr…

Code CompletionCode RepairRetrieval

ECCO: Can We Improve Model-Generated Code Efficiency Without Sacrificing Functional Correctness?

2024-07-19 · Siddhant Waghjale, Vishruth Veerendranath, Zora Zhiruo Wang, Daniel Fried

Although large language models (LLMs) have been largely successful in generating functionally correct programs, conditioning models to produce efficient solutions while ensuring correctness remains a challenge. Further, …

BenchmarkingCode GenerationIn-Context Learning

SWE-IF: Aligning Code Evaluation with Human Preference

2025-10-08 · Ming Zhong, Xiang Zhou, Ting-Yun Chang, Qingze Wang 외 arxiv

Large Language Models (LLMs) have catalyzed vibe coding, where users leverage LLMs to generate and iteratively refine code through natural language interactions until it passes their vibe check. Vibe check reflects human…

Instruction Following

Evaluating Recipes Generated from Functional Object-Oriented Network

2021-06-01 · Md Sadman Sakib, Hailey Baez, David Paulius, Yu Sun

The functional object-oriented network (FOON) has been introduced as a knowledge representation, which takes the form of a graph, for symbolic task planning. To get a sequential plan for a manipulation task, a robot can …

FormObjectRetrievalTask Planning

Aligning Offline Metrics and Human Judgments of Value for Code Generation Models

2022-10-29 · Victor Dibia, Adam Fourney, Gagan Bansal, Forough Poursabzi-Sangdeh 외

Large language models have demonstrated great potential to assist programmers in generating code. For such human-AI pair programming scenarios, we empirically demonstrate that while generated code is most often evaluated…

Code Generation