Follow
Wonyeol Lee
Wonyeol Lee
Postdoctoral Associate, CMU
Verified email at cs.stanford.edu - Homepage
Title
Cited by
Cited by
Year
CT-IC: Continuously activated and Time-restricted Independent Cascade Model for Viral Marketing
W Lee, J Kim, H Yu
ICDM 2012, 960-965, 2012
982012
On Correctness of Automatic Differentiation for Non-Differentiable Functions
W Lee, H Yu, X Rival, H Yang
NeurIPS 2020 (Spotlight), 6719-6730, 2020
452020
On Automatically Proving the Correctness of math.h Implementations
W Lee, R Sharma, A Aiken
POPL 2018, 47:1-32, 2018
382018
A Proof System for Separation Logic with Magic Wand
W Lee, S Park
POPL 2014, 477-490, 2014
322014
Reparameterization Gradient for Non-differentiable Models
W Lee, H Yu, H Yang
NeurIPS 2018, 5553-5563, 2018
312018
Verifying Bit-Manipulations of Floating-Point
W Lee, R Sharma, A Aiken
PLDI 2016, 70-84, 2016
302016
Towards Verified Stochastic Variational Inference for Probabilistic Programs
W Lee, H Yu, X Rival, H Yang
POPL 2020, 16:1-33, 2020
162020
Edge Detection Based on Morphological Amoebas
W Lee, YW Kim, SY Kim, JY Lim, DH Lim
Imaging Science Journal 60 (3), 172-183, 2013
72013
On the Correctness of Automatic Differentiation for Neural Networks with Machine-Representable Parameters
W Lee, S Park, A Aiken
ICML 2023, 19094-19140, 2023
42023
Edge Detection Using Morphological Amoebas in Noisy Images
W Lee, SY Kim, YW Kim, JY Lim, DH Lim
ICIP 2009, 2169-2172, 2009
42009
Smoothness Analysis for Probabilistic Programs with Application to Optimised Variational Inference
W Lee, X Rival, H Yang
POPL 2023, 12:1-32, 2023
22023
Training with Mixed-Precision Floating-Point Assignments
W Lee, R Sharma, A Aiken
TMLR, 2023
12023
Differentiable Algorithm for Marginalising Changepoints
H Lim, G Che, W Lee, H Yang
AAAI 2020, 4828-4835, 2020
12020
What Does Automatic Differentiation Compute for Neural Networks?
S Park, S Chun, W Lee
ICLR 2024 (Spotlight), 2024
2024
Expressive Power of ReLU and Step Networks under Floating-Point Operations
Y Park, G Hwang, W Lee, S Park
arXiv preprint arXiv:2401.15121, 2024
2024
Reasoning About Floating Point in Real-World Systems
W Lee
Stanford University, 2023
2023
The system can't perform the operation now. Try again later.
Articles 1–16