3
Publications
182
Citations
3
H-Index
2019
Active since
Affiliations
Université Paris Sciences et Lettres(Current)
Hangyeol Yu is an author at Université Paris Sciences et Lettres specializing in formal methods, verification, and probability theory.
Top concepts
EngineeringProbabilityData ScienceVerificationDeep LearningFormal MethodsComputer ScienceMachine LearningAutomated ReasoningFormal Verification
Publications per year
2019–2022
3
3
SAINT+: Integrating Temporal Features for EdNet Correctness Prediction
Dongmin Shin, Yugeun Shim, Hangyeol Yu et al. · 2021 · 140 citations · Full text
Rows per page
1–3 of 3