Proof Strategy Extraction from LLMs for Enhancing Symbolic Provers

Jian Fang, Yican Sun, Yingfei Xiong

One important approach to software verification is interactive theorem proving. However, writing formal proofs often requires substantial human effort, making proof automation high…