Sangyeop Yeo

According to our database, Sangyeop Yeo authored at least 7 papers between 2023 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

PROMISE: Proof Automation as Structural Imitation of Human Reasoning.

Youngjoo Ahn, Sangyeop Yeo, Gijung Im, Jongmin Lee, Jinyoung Yeo, Jieung Kim

CoRR, April, 2026

From Words to Code: Do NLP Prompting Strategies Generalize to Code Generation?

Erin Woo, Sangyeop Yeo, Hyungkook Jun, Sangcheol Kim, Seung-won Hwang, Yu-Seung Ma

Proceedings of the Fundamental Approaches to Software Engineering, 2026

2025

Chain-of-Grounded-Objectives.

Sangyeop Yeo, Seung-won Hwang, Yu-Seung Ma

Dataset, June, 2025

Chain of Grounded Objectives: Bridging Process and Goal-oriented Prompting for Code Generation.

Sangyeop Yeo, Seung-won Hwang, Yu-Seung Ma

CoRR, January, 2025

Chain of Grounded Objectives: Concise Goal-Oriented Prompting for Code Generation.

Sangyeop Yeo, Seung-won Hwang, Yu-Seung Ma

Proceedings of the 39th European Conference on Object-Oriented Programming, 2025

2024

Nickel and Diming Your GAN: A Dual-Method Approach to Enhancing GAN Efficiency via Knowledge Distillation.

Sangyeop Yeo, Yoojin Jang, Jaejun Yoo

Proceedings of the Computer Vision - ECCV 2024, 2024

2023

Can We Find Strong Lottery Tickets in Generative Models?

Sangyeop Yeo, Yoojin Jang, Jy-yong Sohn, Dongyoon Han, Jaejun Yoo

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023