발행물

논문
특허
저서
컨퍼런스

전체 논문

1146

71

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

72

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

73

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

74

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

75

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

76

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

77

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

78

STAS: Spatio-Temporal Adaptive Computation Time for Spiking Transformers
Donghwa Kang, Doo-Hyun Kim, Sang‐Ki Ko, Jin‐Kyu Lee, Brent Byunghoon Kang, Hyeongboo Baek
arXiv (Cornell University), 2025

79

Do Large Language Models Respect Contracts? Evaluating and Enforcing Contract-Adherence in Code Generation
Soohan Lim, Joonghyuk Hahn, Hyunwoo Park, Sang‐Ki Ko, Yo-Sub Han
arXiv (Cornell University), 2025

80

LogiCase: Effective Test Case Generation from Logical Description in Competitive Programming
Sicheol Sung, Aditi Chaudhary, Dongwha Kim, Yo-Sub Han, Sang‐Ki Ko
arXiv (Cornell University), 2025