Hongseok Yang
Scholar

Hongseok Yang

Google Scholar ID: cLuwH14AAAAJ
Professor, School of Computing, KAIST
Probabilistic ProgrammingProgramming LanguagesMachine LearningSoftware VerificationDistributed System
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
10,564
 
H-index
48
 
i10-index
89
 
Publications
20
 
Co-authors
97
list available
Contact
No contact links provided.
Publications
5 items
An Introduction to Razborov's Flag Algebra as a Proof System for Extremal Graph Theory
2026
Cited
1
Optimising Density Computations in Probabilistic Programs via Automatic Loop Vectorisation
2025
Cited
0
Axial Neural Networks for Dimension-Free Foundation Models
2025
Cited
0
Parameter Expanded Stochastic Gradient Markov Chain Monte Carlo
2025
Cited
0
Over-parameterised Shallow Neural Networks with Asymmetrical Node Scaling: Global Convergence Guarantees and Feature Learning
arXiv.org · 2023
Cited
2
Resume (English only)
Co-authors
97 total
Peter O'Hearn
Peter O'Hearn
University College London
Alexey Gotsman
Alexey Gotsman
IMDEA Software Institute
Frank Wood
Frank Wood
University of British Columbia
Co-author 4
Co-author 4
Lars Birkedal
Lars Birkedal
Dept. of Computer Science, Aarhus University
Kwangkeun Yi
Kwangkeun Yi
Professor of Computer Science & Engineering, Seoul National University
Mayur Naik
Mayur Naik
Misra Family Professor of Computer Science, University of Pennsylvania
Co-author 8
Co-author 8