CT-IC: Continuously activated and Time-restricted Independent Cascade Model for Viral Marketing W Lee, J Kim, H Yu ICDM 2012, 960-965, 2012 | 100 | 2012 |
On Correctness of Automatic Differentiation for Non-Differentiable Functions W Lee, H Yu, X Rival, H Yang NeurIPS 2020 (Spotlight), 6719-6730, 2020 | 53 | 2020 |
On Automatically Proving the Correctness of math.h Implementations W Lee, R Sharma, A Aiken POPL 2018, 47:1-47:32, 2018 | 39 | 2018 |
Reparameterization Gradient for Non-differentiable Models W Lee, H Yu, H Yang NeurIPS 2018, 5553-5563, 2018 | 35 | 2018 |
A Proof System for Separation Logic with Magic Wand W Lee, S Park POPL 2014, 477-490, 2014 | 33 | 2014 |
Verifying Bit-Manipulations of Floating-Point W Lee, R Sharma, A Aiken PLDI 2016, 70-84, 2016 | 29 | 2016 |
Towards Verified Stochastic Variational Inference for Probabilistic Programs W Lee, H Yu, X Rival, H Yang POPL 2020, 16:1-16:33, 2020 | 18 | 2020 |
Edge Detection Based on Morphological Amoebas W Lee, YW Kim, SY Kim, JY Lim, DH Lim Imaging Science Journal 60 (3), 172-183, 2013 | 7 | 2013 |
On the Correctness of Automatic Differentiation for Neural Networks with Machine-Representable Parameters W Lee, S Park, A Aiken ICML 2023, 19094-19140, 2023 | 4 | 2023 |
Smoothness Analysis for Probabilistic Programs with Application to Optimised Variational Inference W Lee, X Rival, H Yang POPL 2023, 12:1-12:32, 2023 | 4 | 2023 |
Edge Detection Using Morphological Amoebas in Noisy Images W Lee, SY Kim, YW Kim, JY Lim, DH Lim ICIP 2009, 2169-2172, 2009 | 4 | 2009 |
Training with Mixed-Precision Floating-Point Assignments W Lee, R Sharma, A Aiken Transactions on Machine Learning Research, 2023 | 2 | 2023 |
Expressive Power of ReLU and Step Networks under Floating-Point Operations Y Park, G Hwang, W Lee, S Park Neural Networks 175, 106297, 2024 | 1 | 2024 |
Differentiable Algorithm for Marginalising Changepoints H Lim, G Che, W Lee, H Yang AAAI 2020, 4828-4835, 2020 | 1 | 2020 |
What Does Automatic Differentiation Compute for Neural Networks? S Park, S Chun, W Lee ICLR 2024 (Spotlight), 2024 | | 2024 |
Reasoning About Floating Point in Real-World Systems W Lee Stanford University, 2023 | | 2023 |