Taeil Hur

According to our database, Taeil Hur authored at least 3 papers between 2018 and 2025.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of five.

2025

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, February, 2025

2022

Laplacian Pyramid-like Autoencoder.

Sangjun Han, Taeil Hur, Youngmi Hur

Proceedings of the Intelligent Computing, 2022

2018

Deep learning for topology optimization design.

Yonggyun Yu, Taeil Hur, Jaeho Jung

CoRR, 2018