Wonyeol Lee

Orcid: 0000-0003-0301-0872

Affiliations:
  • KAIST, Daejeon, South Korea
  • Stanford University, CA, USA (former)


According to our database1, Wonyeol Lee authored at least 15 papers between 2009 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Expressive power of ReLU and step networks under floating-point operations.
Neural Networks, 2024

What does automatic differentiation compute for neural networks?
Proceedings of the Twelfth International Conference on Learning Representations, 2024

2023
Smoothness Analysis for Probabilistic Programs with Application to Optimised Variational Inference.
Proc. ACM Program. Lang., January, 2023

Training with Mixed-Precision Floating-Point Assignments.
Trans. Mach. Learn. Res., 2023

On the Correctness of Automatic Differentiation for Neural Networks with Machine-Representable Parameters.
Proceedings of the International Conference on Machine Learning, 2023

2020
Towards verified stochastic variational inference for probabilistic programs.
Proc. ACM Program. Lang., 2020

On Correctness of Automatic Differentiation for Non-Differentiable Functions.
Proceedings of the Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, 2020

Differentiable Algorithm for Marginalising Changepoints.
Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2018
On automatically proving the correctness of math.h implementations.
Proc. ACM Program. Lang., 2018

Reparameterization Gradient for Non-differentiable Models.
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.
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.
Knowl. Based Syst., 2014

A proof system for separation logic with magic wand.
Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

2011
Edge detection based on morphological amoebas
CoRR, 2011

2009
Edge detection using morphological amoebas in noisy images.
Proceedings of the International Conference on Image Processing, 2009


  Loading...