Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2412.05561
Cited By
Exploring the Use of LLMs for SQL Equivalence Checking
7 December 2024
Rajat Singh
Srikanta J. Bedathur
Re-assign community
ArXiv
PDF
HTML
Papers citing
"Exploring the Use of LLMs for SQL Equivalence Checking"
1 / 1 papers shown
Title
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
1