발행물

논문
저서
컨퍼런스

전체 논문

125

11

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

12

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

13

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

14

Imputing Multi-Agent Trajectories from Event and Snapshot Data in Soccer
Geonhee Jo, Mengsha Hong, Han-Jun Choi, Minho Lee, Pascal Bauer, Sang‐Ki Ko
2025

15

CodeComplex: Dataset for Worst-Case Time Complexity Prediction
SeungYeop Baik, Joonghyuk Hahn, Jung-In Kim, Aditi, Mingi Jeon, Yo-Sub Han, Sang‐Ki Ko
2025

16

Neural Methods for Programming: A Comprehensive Survey and Future Directions
Gebremedhin Gebreslassie Maru, Sang-Hwa Lee, Suhwan Ji, Sang Ki Ko, Hyeonseung Im
Applied Sciences, 2025

17

순열 동변적인 데이터의 특성을 고려한 트랜스포머 구조 기반 다중 객체 이동 궤적 보간 모델
박현우, 고상기, 최한준
정보과학회 컴퓨팅의 실제 논문지, 2024

18

Simon's congruence pattern matching
Kim Sungmin, 고상기, Han Yo -Sub
THEORETICAL COMPUTER SCIENCE, 2024

19

Simon's congruence pattern matching
Sung-Min Kim, Sang‐Ki Ko, Yo-Sub Han
Theoretical Computer Science, 2024

20

Towards Efficient Formal Verification of Spiking Neural Network
Baekryun Seong, Ji-Eung Kim, Sang‐Ki Ko
arXiv (Cornell University), 2024