Publications — Soohan Lim

arXiv

SLICE: Specification-Level Isolation of Contract Enforcement Soohan Lim, Hyundong Jin, Yo-Sub Han^† arXiv Preprint 2026 Paper Blog Code

arXiv

STAB: Specification-driven Testing for Algorithmic Bottlenecks Soohan Lim*, Joonghyuk Hahn*, Hyundong Jin, Yo-Sub Han^† arXiv Preprint 2026 Paper Blog Code

ACL 2026

ContractEval: A Benchmark for Evaluating Contract-Satisfying Assertions in Code Generation Soohan Lim*, Joonghyuk Hahn*, Hyunwoo Park, Sang-Ki Ko, Yo-Sub Han^† Findings of ACL 2026 Paper Blog Code

KCC 2026

K-SpecDetox: Korean Spectral Energy-based Detection and Detoxification of Dialect Profanity Soohan Lim, Sang-Min Choi, Yo-Sub Han KCC 2026 (Poster)

arXiv

MEC³O: Multi-Expert Consensus for Code Time Complexity Prediction Joonghyuk Hahn*, Soohan Lim*, Yo-Sub Han^† arXiv Preprint 2025 Paper Blog Code

KCC 2025

K-ToPiC: Korean Dialect Toxicity Polishing with Curriculum Learning-based Span Detection Jungin Kim*, Soohan Lim*, Hyeseon Ahn, Sang-Min Choi, Yo-Sub Han^† KCC 2025 (Oral Presentation) Published

NAACL 2025

TCProF: Time-Complexity Prediction SSL Framework Joonghyuk Hahn, Hyeseon Ahn, Jungin Kim, Soohan Lim, Yo-Sub Han^† NAACL 2025 (Oral Presentation) Paper Published Blog Code

KSC 2024

CA-DiaL: Curriculum and Attribute-Based Learning for Korean Dialect Translation using LLMs Soohan Lim, Joonghyuk Hahn, Hyeseon Ahn, Sang-Min Choi, Yo-Sub Han^† KSC 2024 (Poster) Published