Scholar
Hongseok Yang
Google Scholar ID: cLuwH14AAAAJ
Professor, School of Computing, KAIST
Probabilistic Programming
Programming Languages
Machine Learning
Software Verification
Distributed System
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
10,564
H-index
48
i10-index
89
Publications
20
Co-authors
97
list available
Publications
8 items
A New Upper Bound for the Turán Density of the Tetrahedron
2026
Cited
0
A Computational Obstruction to Swapping Area and Dinv: An Automata-Theoretic View of the $q,t$-Catalan Symmetry
2026
Cited
0
Formalizing Flag Algebras in Lean
2026
Cited
0
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
Co-authors
14 total
Peter O'Hearn
University College London
Alexey Gotsman
IMDEA Software Institute
Frank Wood
University of British Columbia
Lars Birkedal
Dept. of Computer Science, Aarhus University
Kwangkeun Yi
Professor of Computer Science & Engineering, Seoul National University
Mayur Naik
Misra Family Professor of Computer Science, University of Pennsylvania
Tom Rainforth
Associate Professor, University of Oxford
Kihong Heo
KAIST
