Wonyeol Lee

According to our database, Wonyeol Lee authored at least 21 papers between 2009 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2026

Expressive Power of Floating-Point Neural Networks with Arbitrary Reduction Orders and Inexact Activation Implementations.

Yeachan Park, Geonho Hwang, Wonyeol Lee, Sejun Park

CoRR, May, 2026

Optimising Density Computations in Probabilistic Programs via Automatic Loop Vectorisation.

Sangho Lim, Hyoungjin Lim, Wonyeol Lee, Xavier Rival, Hongseok Yang

Proc. ACM Program. Lang., 2026

2025

Random Variate Generation with Formal Guarantees.

Feras A. Saad, Wonyeol Lee

Proc. ACM Program. Lang., 2025

Semantics of Integrating and Differentiating Singularities.

Jesse Michel, Wonyeol Lee, Hongseok Yang

Proc. ACM Program. Lang., 2025

Floating-Point Neural Networks Can Represent Almost All Floating-Point Functions.

Geonho Hwang, Yeachan Park, Wonyeol Lee, Sejun Park

Proceedings of the Forty-second International Conference on Machine Learning, 2025

Floating-Point Neural Networks are Provably Robust Universal Approximators.

Geonho Hwang, Wonyeol Lee, Yeachan Park, Sejun Park, Feras Saad

Proceedings of the Computer Aided Verification - 37th International Conference, 2025

2024

Expressive power of ReLU and step networks under floating-point operations.

Yeachan Park, Geonho Hwang, Wonyeol Lee, Sejun Park

Neural Networks, 2024

What does automatic differentiation compute for neural networks?

Sejun Park, Sanghyuk Chun, Wonyeol Lee

Proceedings of the Twelfth International Conference on Learning Representations, 2024

2023

Smoothness Analysis for Probabilistic Programs with Application to Optimised Variational Inference.

Wonyeol Lee, Xavier Rival, Hongseok Yang

Proc. ACM Program. Lang., January, 2023

Training with Mixed-Precision Floating-Point Assignments.

Wonyeol Lee, Rahul Sharma, Alex Aiken

Trans. Mach. Learn. Res., 2023

On the Correctness of Automatic Differentiation for Neural Networks with Machine-Representable Parameters.

Wonyeol Lee, Sejun Park, Alex Aiken

Proceedings of the International Conference on Machine Learning, 2023

2020

Towards verified stochastic variational inference for probabilistic programs.

Wonyeol Lee, Hangyeol Yu, Xavier Rival, Hongseok Yang

Proc. ACM Program. Lang., 2020

On Correctness of Automatic Differentiation for Non-Differentiable Functions.

Wonyeol Lee, Hangyeol Yu, Xavier Rival, Hongseok Yang

Proceedings of the Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, 2020

Differentiable Algorithm for Marginalising Changepoints.

Hyoungjin Lim, Gwonsoo Che, Wonyeol Lee, Hongseok Yang

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2018

On automatically proving the correctness of math.h implementations.

Wonyeol Lee, Rahul Sharma, Alex Aiken

Proc. ACM Program. Lang., 2018

Reparameterization Gradient for Non-differentiable Models.

Wonyeol Lee, Hangyeol Yu, Hongseok Yang

Proceedings of the Advances in Neural Information Processing Systems 31: Annual Conference on Neural Information Processing Systems 2018, 2018

2016

Verifying bit-manipulations of floating-point.

Wonyeol Lee, Rahul Sharma, Alex Aiken

Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2016

2014

A proof system for separation logic with magic wand.

Wonyeol Lee, Sungwoo Park

Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

2012

CT-IC: Continuously Activated and Time-Restricted Independent Cascade Model for Viral Marketing.

Wonyeol Lee, Jinha Kim, Hwanjo Yu

Proceedings of the 12th IEEE International Conference on Data Mining, 2012

2011

Edge detection based on morphological amoebas

Wonyeol Lee, Young Woo Kim, Se Yun Kim, Jae Young Lim, Dong Hoon Lim

CoRR, 2011

2009

Edge detection using morphological amoebas in noisy images.

Wonyeol Lee, Se Yun Kim, Young Woo Kim, Jae Young Lim, Dong Hoon Lim

Proceedings of the International Conference on Image Processing, 2009