Wonyeol Lee

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 19

Top Topics

Variational Inference

Floating Point Arithmetic

Sparse Matrices

Top Venues

Proc. ACM Program. Lang.

Publications

Sejun Park, Sanghyuk Chun, Wonyeol Lee
What does automatic differentiation compute for neural networks? ICLR (2024)
Yeachan Park, Geonho Hwang, Wonyeol Lee, Sejun Park
Expressive power of ReLU and step networks under floating-point operations. Neural Networks 175 (2024)
Yeachan Park, Geonho Hwang, Wonyeol Lee, Sejun Park
Expressive Power of ReLU and Step Networks under Floating-Point Operations. CoRR (2024)
Wonyeol Lee, Sejun Park, Alex Aiken
On the Correctness of Automatic Differentiation for Neural Networks with Machine-Representable Parameters. CoRR (2023)
Wonyeol Lee, Rahul Sharma, Alex Aiken
Training with Mixed-Precision Floating-Point Assignments. CoRR (2023)
Wonyeol Lee, Sejun Park, Alex Aiken
On the Correctness of Automatic Differentiation for Neural Networks with Machine-Representable Parameters. ICML (2023)
Wonyeol Lee, Xavier Rival, Hongseok Yang
Smoothness Analysis for Probabilistic Programs with Application to Optimised Variational Inference. Proc. ACM Program. Lang. 7 (POPL) (2023)
Wonyeol Lee, Rahul Sharma, Alex Aiken
Training with Mixed-Precision Floating-Point Assignments. Trans. Mach. Learn. Res. 2023 (2023)
Wonyeol Lee, Xavier Rival, Hongseok Yang
Smoothness Analysis for Probabilistic Programs with Application to Optimised Variational Inference. CoRR (2022)
Wonyeol Lee, Hangyeol Yu, Xavier Rival, Hongseok Yang
On Correctness of Automatic Differentiation for Non-Differentiable Functions. CoRR (2020)
Wonyeol Lee, Hangyeol Yu, Xavier Rival, Hongseok Yang
Towards verified stochastic variational inference for probabilistic programs. Proc. ACM Program. Lang. 4 (POPL) (2020)
Wonyeol Lee, Hangyeol Yu, Xavier Rival, Hongseok Yang
On Correctness of Automatic Differentiation for Non-Differentiable Functions. NeurIPS (2020)
Hyoungjin Lim, Gwonsoo Che, Wonyeol Lee, Hongseok Yang
Differentiable Algorithm for Marginalising Changepoints. AAAI (2020)
Hyoungjin Lim, Gwonsoo Che, Wonyeol Lee, Hongseok Yang
Differentiable Algorithm for Marginalising Changepoints. CoRR (2019)
Wonyeol Lee, Hangyeol Yu, Xavier Rival, Hongseok Yang
Towards Verified Stochastic Variational Inference for Probabilistic Programs. CoRR (2019)
Wonyeol Lee, Hangyeol Yu, Hongseok Yang
Reparameterization Gradient for Non-differentiable Models. NeurIPS (2018)
Wonyeol Lee, Rahul Sharma, Alex Aiken
On automatically proving the correctness of math.h implementations. Proc. ACM Program. Lang. 2 (POPL) (2018)
Wonyeol Lee, Hangyeol Yu, Hongseok Yang
Reparameterization Gradient for Non-differentiable Models. CoRR (2018)
Wonyeol Lee, Rahul Sharma, Alex Aiken
Verifying bit-manipulations of floating-point. PLDI (2016)
Jinha Kim, Wonyeol Lee, Hwanjo Yu
CT-IC: Continuously activated and Time-restricted Independent Cascade model for viral marketing. Knowl. Based Syst. 62 (2014)
Wonyeol Lee, Sungwoo Park
A proof system for separation logic with magic wand. POPL (2014)
Wonyeol Lee, Jinha Kim, Hwanjo Yu
CT-IC: Continuously Activated and Time-Restricted Independent Cascade Model for Viral Marketing. ICDM (2012)
Wonyeol Lee, Young Woo Kim, Se Yun Kim, Jae Young Lim, Dong Hoon Lim
Edge detection based on morphological amoebas CoRR (2011)
Wonyeol Lee, Se Yun Kim, Young Woo Kim, Jae Young Lim, Dong Hoon Lim
Edge detection using morphological amoebas in noisy images. ICIP (2009)