Picture for Wonyeol Lee

Wonyeol Lee

Expressive Power of ReLU and Step Networks under Floating-Point Operations

Jan 26, 2024
Viaarxiv icon

Training with Mixed-Precision Floating-Point Assignments

Add code
Jan 31, 2023
Figure 1 for Training with Mixed-Precision Floating-Point Assignments
Figure 2 for Training with Mixed-Precision Floating-Point Assignments
Figure 3 for Training with Mixed-Precision Floating-Point Assignments
Figure 4 for Training with Mixed-Precision Floating-Point Assignments
Viaarxiv icon

On the Correctness of Automatic Differentiation for Neural Networks with Machine-Representable Parameters

Jan 31, 2023
Viaarxiv icon

Smoothness Analysis for Probabilistic Programs with Application to Optimised Variational Inference

Add code
Aug 22, 2022
Figure 1 for Smoothness Analysis for Probabilistic Programs with Application to Optimised Variational Inference
Figure 2 for Smoothness Analysis for Probabilistic Programs with Application to Optimised Variational Inference
Figure 3 for Smoothness Analysis for Probabilistic Programs with Application to Optimised Variational Inference
Figure 4 for Smoothness Analysis for Probabilistic Programs with Application to Optimised Variational Inference
Viaarxiv icon

On Correctness of Automatic Differentiation for Non-Differentiable Functions

Add code
Jun 12, 2020
Figure 1 for On Correctness of Automatic Differentiation for Non-Differentiable Functions
Viaarxiv icon

Differentiable Algorithm for Marginalising Changepoints

Nov 22, 2019
Figure 1 for Differentiable Algorithm for Marginalising Changepoints
Figure 2 for Differentiable Algorithm for Marginalising Changepoints
Figure 3 for Differentiable Algorithm for Marginalising Changepoints
Figure 4 for Differentiable Algorithm for Marginalising Changepoints
Viaarxiv icon

Towards Verified Stochastic Variational Inference for Probabilistic Programs

Add code
Jul 25, 2019
Figure 1 for Towards Verified Stochastic Variational Inference for Probabilistic Programs
Figure 2 for Towards Verified Stochastic Variational Inference for Probabilistic Programs
Figure 3 for Towards Verified Stochastic Variational Inference for Probabilistic Programs
Figure 4 for Towards Verified Stochastic Variational Inference for Probabilistic Programs
Viaarxiv icon

Reparameterization Gradient for Non-differentiable Models

Add code
Oct 25, 2018
Figure 1 for Reparameterization Gradient for Non-differentiable Models
Figure 2 for Reparameterization Gradient for Non-differentiable Models
Figure 3 for Reparameterization Gradient for Non-differentiable Models
Viaarxiv icon