PROMISE: Proof Automation as Structural Imitation of Human Reasoning. - Youngjoo Ahn; Sangyeop Yeo; Gijung Im; Jongmin Lee; Jinyoung Yeo; Jieung Kim (CoRR, 2026)