Simple deterministic O(n log n) algorithm finding a solution of Erdős-Ginzburg-Ziv theorem. - Seokhwan Choi; Hanpil Kang; Dongjae Lim (CoRR, 2022)

Think before You Simulate: Symbolic Reasoning to Orchestrate Neural Computation for Counterfactual Question Answering. - Adam Ishay; Zhun Yang; Joohyung Lee 002; Ilgu Kang; Dongjae Lim (WACV, 2024)