A bijective proof of Amdeberhan's conjecture on the number of (s, s+2)-core partitions with distinct parts. - Jineon Baek; Hayan Nam; Myungjun Yu (Discret. Math., 2018)

Unpaired Image Denoising Using a Generative Adversarial Network in X-Ray CT. - Hyoung Suk Park; Jineon Baek; Sun Kyoung You; Jae Kyu Choi; Jin Keun Seo (IEEE Access, 2019)

EdNet: A Large-Scale Hierarchical Dataset in Education. - Youngduck Choi; Youngnam Lee; Dongmin Shin; Junghyun Cho; Seoyon Park; Seewoo Lee; Jineon Baek; Byungsoo Kim 002; Youngjun Jang (CoRR, 2019)

Johnson's bijections and their application to counting simultaneous core partitions. - Jineon Baek; Hayan Nam; Myungjun Yu (Eur. J. Comb., 2019)

EdNet: A Large-Scale Hierarchical Dataset in Education. - Youngduck Choi; Youngnam Lee; Dongmin Shin; Junghyun Cho; Seoyon Park; Seewoo Lee; Jineon Baek; Chan Bae; Byungsoo Kim 002; Jaewe Heo (AIED (2), 2020)

Deep Attentive Study Session Dropout Prediction in Mobile Learning Environment. - Youngnam Lee; Dongmin Shin; Hyunbin Loh; Jaemin Lee; Piljae Chae; Junghyun Cho; Seoyon Park; Jinhwan Lee; Jineon Baek; Byungsoo Kim 002; Youngduck Choi (CSEDU (1), 2020)

Prescribing Deep Attentive Score Prediction Attracts Improved Student Engagement. - Youngnam Lee; Byungsoo Kim 002; Dongmin Shin; JungHoon Kim; Jineon Baek; Jinhwan Lee; Youngduck Choi (EDM, 2020)

Towards an Appropriate Query, Key, and Value Computation for Knowledge Tracing. - Youngduck Choi; Youngnam Lee; Junghyun Cho; Jineon Baek; Byungsoo Kim 002; Yeongmin Cha; Dongmin Shin; Chan Bae; Jaewe Heo (L@S, 2020)

Assessment Modeling: Fundamental Pre-training Tasks for Interactive Educational Systems. - Youngduck Choi; Youngnam Lee; Junghyun Cho; Jineon Baek; Dongmin Shin; Seewoo Lee; Youngmin Cha; Byungsoo Kim 002; Jaewe Heo (CoRR, 2020)

Condensed Discriminative Question Set for Reliable Exam Score Prediction. - JungHoon Kim; Jineon Baek; Chanyou Hwang; Chan Bae; Juneyoung Park (AIED (2), 2021)

Recommendation for Effective Standardized Exam Preparation. - Hyunbin Loh; Dongmin Shin; Seewoo Lee; Jineon Baek; Chanyou Hwang; Youngnam Lee; Yeongmin Cha; Soonwoo Kwon; Juneyoung Park; Youngduck Choi (LAK, 2021)

Formalizing Mason-Stothers Theorem and its Corollaries in Lean 4. - Jineon Baek; Seewoo Lee (CoRR, 2024)

The Erdős-Szekeres Conjecture Revisited. - Jineon Baek; Martin Balko (SoCG, 2025)

On the Erdős-Tuza-Valtr conjecture. - Jineon Baek (Eur. J. Comb., 2025)

An Equilateral Triangle of Side > n Cannot be Covered by n 2 + 1 Unit Equilateral Triangles Homothetic to it. - Jineon Baek; Seewoo Lee (Am. Math. Mon., 2025)