Articles with public access mandates - Wonyeol LeeLearn more
Available somewhere: 5
On Correctness of Automatic Differentiation for Non-Differentiable Functions
W Lee, H Yu, X Rival, H Yang
NeurIPS 2020 (Spotlight), 6719-6730, 2020
Mandates: European Commission
On Automatically Proving the Correctness of math.h Implementations
W Lee, R Sharma, A Aiken
POPL 2018, 47:1-47:32, 2018
Mandates: US National Science Foundation
Verifying Bit-Manipulations of Floating-Point
W Lee, R Sharma, A Aiken
PLDI 2016, 70-84, 2016
Mandates: US National Science Foundation
On the Correctness of Automatic Differentiation for Neural Networks with Machine-Representable Parameters
W Lee, S Park, A Aiken
ICML 2023, 19094-19140, 2023
Mandates: US Department of Energy
Smoothness Analysis for Probabilistic Programs with Application to Optimised Variational Inference
W Lee, X Rival, H Yang
POPL 2023, 12:1-12:32, 2023
Mandates: Agence Nationale de la Recherche
Publication and funding information is determined automatically by a computer program