Yican Sun
Yican Sun
Home
Publications
Light
Dark
Automatic
Guiding Dynamic Programing via Structural Probability for Accelerating Programming by Example
Ruyi Ji
,
Yican Sun
,
Yingfei Xiong
,
Zhenjiang Hu
July 2020
PDF
Cite
Code
Video
Type
Conference paper
Publication
Object-Oriented Programming, Systems, Languages, and Applications 2020 (OOPSLA'20)
Related
Proving Functional Program Equivalence via Directed Lemma Synthesis
ASAC: A Benchmark for Algorithm Synthesis
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
×