APA (7th ed.) Citation

Han, S., Hur, T., Hur, Y., Lee, K. S., Lee, M., & Lim, H. (2025). Simplifying Formal Proof-Generating Models with ChatGPT and Basic Searching Techniques.

Chicago Style (17th ed.) Citation

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

MLA (9th ed.) Citation

Han, Sangjun, et al. Simplifying Formal Proof-Generating Models with ChatGPT and Basic Searching Techniques. 2025.