TY  - RPRT
TI  - PROMISE: Proof Automation as Structural Imitation of Human Reasoning
AU  - Youngjoo Ahn
AU  - Sangyeop Yeo
AU  - Gijung Im
AU  - Jongmin Lee
AU  - Jinyoung Yeo
AU  - Jieung Kim
PY  - 2026
UR  - https://arxiv.org/abs/2604.05399
ID  - 2604.05399
ER  -