C. -H. Luke Ong | DeepAI

DeepAI AI Chat

Featured Co-authors

Dominik Wagner
15 publications
Matthew Hague
8 publications
Andrzej S. Murawski
8 publications
Mario Alvarez-Picallo
7 publications
Hugo Paquet
7 publications
Olivier Serre
7 publications
Fabian Zaiser
6 publications
Arnaud Carayol
5 publications
Steven Ramsay
5 publications
Carol Mak
4 publications
Eddie Jones
4 publications

∙ 01/09/2023

Fast and Correct Gradient-Based Optimisation for Probabilistic Programming via Smoothing

We study the foundations of variational inference, which frames posterio...

0 Basim Khajwal, et al. ∙

∙ 11/24/2021

CycleQ: An Efficient Basis for Cyclic Equational Reasoning

We propose a new cyclic proof system for automated, equational reasoning...

0 Eddie Jones, et al. ∙

∙ 11/30/2020

The Difference Lambda-Calculus: A Language for Difference Categories

Cartesian difference categories are a recent generalisation of Cartesian...

0 Mario Alvarez-Picallo, et al. ∙

∙ 10/13/2020

Higher-Order Recursion Schemes and Collapsible Pushdown Automata: Logical Properties

This paper studies the logical properties of a very general class of inf...

0 Christopher H. Broadbent, et al. ∙

∙ 10/13/2020

Collapsible Pushdown Parity Games

This paper studies a large class of two-player perfect-information turn-...

0 Christopher H. Broadbent, et al. ∙

∙ 05/13/2020

The Extended Theory of Trees and Algebraic (Co)datatypes

The first-order theory of finite and infinite trees has been studied sin...

0 Fabian Zaiser, et al. ∙

∙ 04/08/2020

Densities of almost-surely terminating probabilistic programs are differentiable almost everywhere

We study the differential properties of higher-order statistical probabi...

0 Carol Mak, et al. ∙

∙ 10/25/2019

Polynomial Probabilistic Invariants and the Optional Stopping Theorem

In this paper we present methods for the synthesis of polynomial invaria...

0 Anne Schreuder, et al. ∙

∙ 02/27/2019

HoCHC: a Refutationally-complete and Semantically-invariant System of Higher-order Logic Modulo Theories

We present a simple resolution proof system for higher-order constrained...

0 C. -H. Luke Ong, et al. ∙

∙ 02/14/2019

Change Actions: Models of Generalised Differentiation

Cai et al. have recently proposed change structures as a semantic framew...

0 Mario Alvarez-Picallo, et al. ∙

∙ 10/08/2018

Defunctionalization of Higher-Order Constrained Horn Clauses

Building on the successes of satisfiability modulo theories (SMT), Bjørn...

0 Long Pham, et al. ∙

∙ 05/17/2017

Higher-Order Constrained Horn Clauses and Refinement Types

Motivated by applications in automated verification of higher-order func...

0 Toby Cathcart Burn, et al. ∙

Are you a researcher?
Expose your work
to one of the largest
A.I. communities in the world