ASE’26: Jian Fang, Yixun Yao, Yingfei Xiong. Mining Tactics for Automated Theorem Proving.
Jian Fang, Yingfei Xiong. Trustworthy Software Project Generation : a Case Study with an Interactive Theorem Prover
Jian Fang, Yican Sun, Yingfei Xiong. Proof Strategy Extraction from LLMs for Enhancing Symbolic Provers.
Jian Fang, Yingfei Xiong. Extraction and Search in Rocq: Theorems, Definitions and Their dependencies
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.