@misc{indiciaeff885fcb582f,
  title = {Proving Functional Program Equivalence via Directed Lemma Synthesis},
  author = {Yican Sun and Ruyi Ji and Jian Fang and Xuanlin Jiang and Mingshuai Chen and Yingfei Xiong},
  year = {2024},
  url = {https://arxiv.org/abs/2405.11535},
  note = {Source identifier: 2405.11535}
}