Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2109.13498
Cited By
Learning to Superoptimize Real-world Programs
28 September 2021
Alex Shypula
Pengcheng Yin
Jeremy Lacomis
Claire Le Goues
Edward N. Schwartz
Graham Neubig
NAI
Re-assign community
ArXiv
PDF
HTML
Papers citing
"Learning to Superoptimize Real-world Programs"
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
Alex Aiken
LRM
54
1
0
18 Feb 2025
1
