Wonyeol Lee
Wonyeol Lee
PhD Candidate, Stanford University
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
652012
A Proof System for Separation Logic with Magic Wand
W Lee, S Park
POPL 2014, 477-490, 2014
202014
On Automatically Proving the Correctness of math.h Implementations
W Lee, R Sharma, A Aiken
POPL 2018, 47:1-32, 2018
162018
Verifying Bit-Manipulations of Floating-Point
W Lee, R Sharma, A Aiken
PLDI 2016, 70-84, 2016
162016
Reparameterization Gradient for Non-differentiable Models
W Lee, H Yu, H Yang
NeurIPS 2018, 5553-5563, 2018
152018
On Correctness of Automatic Differentiation for Non-Differentiable Functions
W Lee, H Yu, X Rival, H Yang
NeurIPS 2020 (Spotlight), 2020
52020
Edge Detection Based on Morphological Amoebas
W Lee, YW Kim, SY Kim, JY Lim, DH Lim
Imaging Science Journal 60 (3), 172-183, 2013
52013
Towards Verified Stochastic Variational Inference for Probabilistic Programs
W Lee, H Yu, X Rival, H Yang
POPL 2020, 16:1-33, 2020
42020
Edge Detection Using Morphological Amoebas in Noisy Images
W Lee, SY Kim, YW Kim, JY Lim, DH Lim
ICIP 2009, 2169-2172, 2009
42009
Differentiable Algorithm for Marginalising Changepoints
H Lim, G Che, W Lee, H Yang
AAAI 2020, 4828-4835, 2020
2020
The system can't perform the operation now. Try again later.
Articles 1–10