C.-H. Luke Ong

Latest

• Diagonalisation SGD: Fast & Convergent SGD for Non-Differentiable Models via Reparameterisation and Smoothing
• Fast and Correct Gradient-Based Optimisation for Probabilistic Programming via Smoothing
• Densities of Almost Surely Terminating Probabilistic Programs are Differentiable Almost Everywhere
• Initial Limit Datalog: a New Extensible Class of Decidable Constrained Horn Clauses
• HoCHC: a Refutationally-complete and Semantically-invariant System of Higher-order Logic Modulo Theories