Simplifying Formal Proof-Generating Models with ChatGPT and Basic Searching Techniques. - Sangjun Han; Taeil Hur; Youngmi Hur; Kathy Sangkyung Lee; Myungyoon Lee; Hyojae Lim (CoRR, 2025)