162 citations · 271 across the 12 of their papers we have counts for
12 papers
Lean-GAP: A Dataset of Formalized Graduate Algebra Problems
Seewoo Lee, Byung-Hak Hwang, Hyojae Lim +10
We present Lean-GAP (Lean-Graduate Agebra Problems), 430 formalized graduate-level algebra problems from the textbook Abstract Algebra by Dummit and Foote. We develop a scalable pi…
Formalizing Mason-Stothers Theorem and its Corollaries in Lean 4
Jineon Baek, Seewoo Lee
The ABC conjecture implies many conjectures and theorems in number theory, including the celebrated Fermat's Last Theorem. Mason-Stothers Theorem is a function field analogue of th…
unit equilateral triangles cannot cover an equilateral triangle of side if all triangles have parallel sides
Jineon Baek, Seewoo Lee
Conway and Soifer showed that an equilateral triangle of side with sufficiently small can be covered by unit equilateral triangles…
On the Erdős-Tuza-Valtr Conjecture
Jineon Baek
The Erdős-Szekeres conjecture states that any set of more than points in the plane with no three on a line contains the vertices of a convex -gon. Erdős, Tuza, and Val…
Prescribing Deep Attentive Score Prediction Attracts Improved Student Engagement
Youngnam Lee, Byungsoo Kim, Dongmin Shin +4
Intelligent Tutoring Systems (ITSs) have been developed to provide students with personalized learning experiences by adaptively generating learning paths optimized for each indivi…
Deep Attentive Study Session Dropout Prediction in Mobile Learning Environment
Youngnam Lee, Dongmin Shin, HyunBin Loh +8
Student dropout prediction provides an opportunity to improve student engagement, which maximizes the overall effectiveness of learning experiences. However, researches on student…
Towards an Appropriate Query, Key, and Value Computation for Knowledge Tracing
Youngduck Choi, Youngnam Lee, Junghyun Cho +6
Knowledge tracing, the act of modeling a student's knowledge through learning activities, is an extensively studied problem in the field of computer-aided education. Although model…
Assessment Modeling: Fundamental Pre-training Tasks for Interactive Educational Systems
Youngduck Choi, Youngnam Lee, Junghyun Cho +9
Like many other domains in Artificial Intelligence (AI), there are specific tasks in the field of AI in Education (AIEd) for which labels are scarce and expensive, such as predicti…
EdNet: A Large-Scale Hierarchical Dataset in Education
Youngduck Choi, Youngnam Lee, Dongmin Shin +7
With advances in Artificial Intelligence in Education (AIEd) and the ever-growing scale of Interactive Educational Systems (IESs), data-driven approach has become a common recipe f…
Unpaired image denoising using a generative adversarial network in X-ray CT
Hyoung Suk Park, Jineon Baek, Sun Kyoung You +2
This paper proposes a deep learning-based denoising method for noisy low-dose computerized tomography (CT) images in the absence of paired training data. The proposed method uses a…
Johnson's bijections and their application to counting simultaneous core partitions
Jineon Baek, Hayan Nam, Myungjun Yu
Johnson recently proved Armstrong's conjecture which states that the average size of an -core partition is . He used various coordinate changes and one…
A bijective proof of Amdeberhan's conjecture on the number of -core partitions with distinct parts
Jineon Baek, Hayan Nam, Myungjun Yu
Amdeberhan conjectured that the number of -core partitions with distinct parts for an odd integer is . This conjecture was first proved by Yan, Qin, Jin and Z…