Wonyeol Lee

32 papers A* 9B 1Journal 21Unranked 1
YearRankTypeTitle / Venue / Authors
2026 J jnl
Optimising Density Computations in Probabilistic Programs via Automatic Loop Vectorisation.
Proc. ACM Program. Lang.
Sangho Lim, Hyoungjin Lim, Wonyeol Lee, Xavier Rival, Hongseok Yang
2025 J jnl
Floating-Point Neural Networks Are Provably Robust Universal Approximators.
CoRR
Geonho Hwang, Wonyeol Lee, Yeachan Park, Sejun Park, Feras Saad
2025 A* conf
Floating-Point Neural Networks Can Represent Almost All Floating-Point Functions.
ICML
Geonho Hwang, Yeachan Park, Wonyeol Lee, Sejun Park
2025 — conf
Floating-Point Neural Networks are Provably Robust Universal Approximators.
CAV (2)
Geonho Hwang, Wonyeol Lee, Yeachan Park, Sejun Park, Feras Saad
2025 J jnl
Optimising Density Computations in Probabilistic Programs via Automatic Loop Vectorisation.
CoRR
Sangho Lim, Hyoungjin Lim, Wonyeol Lee, Xavier Rival, Hongseok Yang
2025 J jnl
Random Variate Generation with Formal Guarantees.
CoRR
Feras A. Saad, Wonyeol Lee
2025 J jnl
Random Variate Generation with Formal Guarantees.
Proc. ACM Program. Lang.
Feras A. Saad, Wonyeol Lee
2025 J jnl
Semantics of Integrating and Differentiating Singularities.
Proc. ACM Program. Lang.
Jesse Michel, Wonyeol Lee, Hongseok Yang
2024 J jnl
Expressive Power of ReLU and Step Networks under Floating-Point Operations.
CoRR
Yeachan Park, Geonho Hwang, Wonyeol Lee, Sejun Park
2024 J jnl
Expressive power of ReLU and step networks under floating-point operations.
Neural Networks
Yeachan Park, Geonho Hwang, Wonyeol Lee, Sejun Park
2024 A* conf
What does automatic differentiation compute for neural networks?
ICLR
Sejun Park, Sanghyuk Chun, Wonyeol Lee
2023 A* conf
On the Correctness of Automatic Differentiation for Neural Networks with Machine-Representable Parameters.
ICML
Wonyeol Lee, Sejun Park, Alex Aiken
2023 J jnl
On the Correctness of Automatic Differentiation for Neural Networks with Machine-Representable Parameters.
CoRR
Wonyeol Lee, Sejun Park, Alex Aiken
2023 J jnl
Smoothness Analysis for Probabilistic Programs with Application to Optimised Variational Inference.
Proc. ACM Program. Lang.
Wonyeol Lee, Xavier Rival, Hongseok Yang
2023 J jnl
Training with Mixed-Precision Floating-Point Assignments.
CoRR
Wonyeol Lee, Rahul Sharma, Alex Aiken
2023 J jnl
Training with Mixed-Precision Floating-Point Assignments.
Trans. Mach. Learn. Res.
Wonyeol Lee, Rahul Sharma, Alex Aiken
2022 J jnl
Smoothness Analysis for Probabilistic Programs with Application to Optimised Variational Inference.
CoRR
Wonyeol Lee, Xavier Rival, Hongseok Yang
2020 A* conf
Differentiable Algorithm for Marginalising Changepoints.
AAAI
Hyoungjin Lim, Gwonsoo Che, Wonyeol Lee, Hongseok Yang
2020 A* conf
On Correctness of Automatic Differentiation for Non-Differentiable Functions.
NeurIPS
Wonyeol Lee, Hangyeol Yu, Xavier Rival, Hongseok Yang
2020 J jnl
On Correctness of Automatic Differentiation for Non-Differentiable Functions.
CoRR
Wonyeol Lee, Hangyeol Yu, Xavier Rival, Hongseok Yang
2020 J jnl
Towards verified stochastic variational inference for probabilistic programs.
Proc. ACM Program. Lang.
Wonyeol Lee, Hangyeol Yu, Xavier Rival, Hongseok Yang
2019 J jnl
Differentiable Algorithm for Marginalising Changepoints.
CoRR
Hyoungjin Lim, Gwonsoo Che, Wonyeol Lee, Hongseok Yang
2019 J jnl
Towards Verified Stochastic Variational Inference for Probabilistic Programs.
CoRR
Wonyeol Lee, Hangyeol Yu, Xavier Rival, Hongseok Yang
2018 J jnl
On automatically proving the correctness of math.h implementations.
Proc. ACM Program. Lang.
Wonyeol Lee, Rahul Sharma, Alex Aiken
2018 A* conf
Reparameterization Gradient for Non-differentiable Models.
NeurIPS
Wonyeol Lee, Hangyeol Yu, Hongseok Yang
2018 J jnl
Reparameterization Gradient for Non-differentiable Models.
CoRR
Wonyeol Lee, Hangyeol Yu, Hongseok Yang
2016 A* conf
Verifying bit-manipulations of floating-point.
PLDI
Wonyeol Lee, Rahul Sharma, Alex Aiken
2014 A* conf
A proof system for separation logic with magic wand.
POPL
Wonyeol Lee, Sungwoo Park
2014 J jnl
CT-IC: Continuously activated and Time-restricted Independent Cascade model for viral marketing.
Knowl. Based Syst.
Jinha Kim, Wonyeol Lee, Hwanjo Yu
2012 A* conf
CT-IC: Continuously Activated and Time-Restricted Independent Cascade Model for Viral Marketing.
ICDM
Wonyeol Lee, Jinha Kim, Hwanjo Yu
2011 J jnl
Edge detection based on morphological amoebas
CoRR
Wonyeol Lee, Young Woo Kim, Se Yun Kim, Jae Young Lim, Dong Hoon Lim
2009 B conf
Edge detection using morphological amoebas in noisy images.
ICIP
Wonyeol Lee, Se Yun Kim, Young Woo Kim, Jae Young Lim, Dong Hoon Lim