TY  - RPRT
TI  - Proving Functional Program Equivalence via Directed Lemma Synthesis
AU  - Yican Sun
AU  - Ruyi Ji
AU  - Jian Fang
AU  - Xuanlin Jiang
AU  - Mingshuai Chen
AU  - Yingfei Xiong
PY  - 2024
UR  - https://arxiv.org/abs/2405.11535
ID  - 2405.11535
ER  -