Ruyi Ji

Publications with FICTION

Conference Papers

1. Yican Sun, Ruyi Ji, Jian Fang, Xuanlin Jiang, Mingshuai Chen, Yingfei Xiong (2024). Proving Functional Program Equivalence via Directed Lemma Synthesis. In FM 2024. PDF Cite