Wonyeol Lee

According to our database, Wonyeol Lee authored at least 14 papers between 2009 and 2024.

Collaborative distances:

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

2024

Expressive Power of ReLU and Step Networks under Floating-Point Operations.

Yeachan Park, Geonho Hwang, Wonyeol Lee, Sejun Park

CoRR, 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

CoRR, 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

CT-IC: Continuously activated and Time-restricted Independent Cascade model for viral marketing.

Jinha Kim, Wonyeol Lee, Hwanjo Yu

Knowl. Based Syst., 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

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