PROMISE: Proof Automation as Structural Imitation of Human Reasoning

Youngjoo Ahn, Sangyeop Yeo, Gijung Im +3

Automated proof generation for formal software verification remains largely unresolved despite advances in large language models (LLMs). While LLMs perform well in NLP, vision, and…