발행물

전체 논문

125

1

문법 기반 테스트 케이스 생성을 위한 Chain-of-Thought 와 Chain-of-Verification Prompting
정보과학회논문지, 2025

2

Multi-modal recommender system using text-to-image generative models and adaptive learning
Seongmin Kim, Seona Moon, Yong-Jin Lim, Sang‐Min Choi, Sang‐Ki Ko
Expert Systems with Applications, 2025

3

EnCur: Curriculum-based in-context learning with structural encoding for code time complexity prediction
Joonghyuk Hahn, Aditi, Seung-Yeop Baik, Shinwoo Park, Sang‐Ki Ko, Yo-Sub Han
Expert Systems with Applications, 2025

4

Chain-of-Thought and Chain-of-Verification Prompting for Grammar-based Test Case Generation
A diti, Sang‐Ki Ko
Journal of KIISE, 2025

5

Advanced code time complexity prediction approach using contrastive learning
Shinwoo Park, Joonghyuk Hahn, Elizabeth Orwig, Sang‐Ki Ko, Yo-Sub Han
Engineering Applications of Artificial Intelligence, 2025

6

Existential and universal width of alternating finite automata
Yo-Sub Han, Sung-Min Kim, Sang‐Ki Ko, Kai Salomaa
Information and Computation, 2025

7

LogiCase: Effective Test Case Generation from Logical Description in Competitive Programming
Sicheol Sung, Aditi Aditi, Dongyeob Kim, Yo-Sub Han, Sang‐Ki Ko
2025

8

Trajectory Imputation in Multi-agent Sports with Derivative-Accumulating Self-ensemble
Han-Jun Choi, Hyunsung Kim, Minho Lee, Minchul Jeong, Changjo Kim, Jinsung Yoon, Sang‐Ki Ko
Lecture notes in computer science, 2025

9

Timestep-Compressed Attack on Spiking Neural Networks through Timestep-Level Backpropagation
Donghwa Kang, Doo-Hyun Kim, Sang‐Ki Ko, Jinkyu Lee, Hyeongboo Baek, Brent Byunghoon Kang
arXiv (Cornell University), 2025

10

SAGE:Specification-Aware Grammar Extraction for Automated Test Case Generation with LLMs
Aditi Chaudhary, Hyunwoo Park, Sicheol Sung, Yo-Sub Han, Sang‐Ki Ko
arXiv (Cornell University), 2025