We study the foundations of variational inference, which frames posterio...
We propose a new cyclic proof system for automated, equational reasoning...
Cartesian difference categories are a recent generalisation of Cartesian...
This paper studies the logical properties of a very general class of inf...
This paper studies a large class of two-player perfect-information turn-...
The first-order theory of finite and infinite trees has been studied sin...
We study the differential properties of higher-order statistical
probabi...
In this paper we present methods for the synthesis of polynomial invaria...
We present a simple resolution proof system for higher-order constrained...
Cai et al. have recently proposed change structures as a semantic framew...
Building on the successes of satisfiability modulo theories (SMT), Bjørn...
Motivated by applications in automated verification of higher-order
func...