Yican Sun
Yican Sun
Home
Publications
Light
Dark
Automatic
ASAC: A Benchmark for Algorithm Synthesis
Zhao Zhang
,
Yican Sun
,
Ruyi Ji
,
Siyuan Li
,
Xuanyu Peng
,
Zhechong Huang
,
Sizhe Li
,
Tianran Zhu
,
Yingfei Xiong
July 2024
PDF
Cite
Project
Video
Type
Conference paper
Publication
The ACM International Conference on the Foundations of Software Engineering, Demonstration Track (FSE'24 Demo)
Related
Proving Functional Program Equivalence via Directed Lemma Synthesis
Synthesizing Efficient Memoization Algorithms
Guiding Dynamic Programing via Structural Probability for Accelerating Programming by Example
TreeGen: A Tree-Based Transformer Architecture for Code Generation
Almost Optimal Time Lower Bound for Approximating Parameterized Clique, CSP, and More, under ETH
Cite
×