Jian Fang, Yican Sun, Yingfei Xiong. Proof Strategy Extraction from LLMs for Enhancing Symbolic Provers.
FM’24: Yican Sun, Ruyi Ji, Jian Fang, Xuanlin Jiang, Mingshuai Chen, Yingfei Xiong (2024). Proving Functional Program Equivalence via Directed Lemma Synthesis. The 26th International Symposium on Formal Methods.