고상기 교수 연구실
연구실 정보 수정하기
홈
기본 정보
연구 영역
프로젝트
발행물
구성원
발행물
논문
저서
컨퍼런스
전체 논문
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
1
2
3
4
5
6
7
8
9
10