Towards Efficient Formal Verification of Spiking Neural Network. - Baekryun Seong; Jieung Kim; Sang-Ki Ko (CoRR, 2024)

LBC: Language-Based-Classifier for Out-Of-Variable Generalization. - Kangjun Noh; Baekryun Seong; Hoyoon Byun; Youngjun Choi 001; Sungjin Song; Kyungwoo Song (NAACL (Long Papers), 2025)

SPECTra: Scalable Multi-Agent Reinforcement Learning with Permutation-Free Networks. - Hyunwoo Park; Baekryun Seong; Sang-Ki Ko (CoRR, 2025)