TY  - RPRT
TI  - Simplifying Formal Proof-Generating Models with ChatGPT and Basic Searching Techniques
AU  - Sangjun Han
AU  - Taeil Hur
AU  - Youngmi Hur
AU  - Kathy Sangkyung Lee
AU  - Myungyoon Lee
AU  - Hyojae Lim
PY  - 2025
UR  - https://arxiv.org/abs/2502.03321
ID  - 2502.03321
ER  -