Yican Sun
Yican Sun
Home
Publications
Light
Dark
Automatic
Proving Functional Program Equivalence via Directed Lemma Synthesis
Yican Sun
,
Ruyi Ji
,
Jian Fang
,
Xuanlin Jiang
,
Mingshuai Chen
,
Yingfei Xiong
August 2024
PDF
Cite
Slides
Source Document
Type
Conference paper
Publication
The 26th International Symposium on Formal Methods (FM'24)
Related
ASAC: A Benchmark for Algorithm Synthesis
Guiding Dynamic Programing via Structural Probability for Accelerating Programming by Example
Synthesizing Efficient Memoization Algorithms
TreeGen: A Tree-Based Transformer Architecture for Code Generation
Almost Optimal Time Lower Bound for Approximating Parameterized Clique, CSP, and More, under ETH
Cite
×