Yican Sun
Yican Sun
Home
Publications
Light
Dark
Automatic
Synthesis and Verification of Complex Algorithms
Yican Sun
August 2024
PDF
Poster
Slides
Type
Conference paper
Publication
The 26th International Symposium on Formal Methods, Doctorial Symposium
Related
Almost Optimal Time Lower Bound for Approximating Parameterized Clique, CSP, and More, under ETH
Proving Functional Program Equivalence via Directed Lemma Synthesis
ASAC: A Benchmark for Algorithm Synthesis
Parameterized Inapproximability Hypothesis under ETH
Synthesizing Efficient Memoization Algorithms
Cite
×