activity
20192023
most citedDensities of Almost Surely Terminating Probabilistic Programs are Differentiable Almost Everywhere

12 citations · 20 across the 4 of their papers we have counts for

collaborators
Showing 2019Show all

1 paper · 1 filter

cs.LO2019★ 8 cited

HoCHC: A Refutationally Complete and Semantically Invariant System of Higher-order Logic Modulo Theories

C. -H. Luke Ong, Dominik Wagner

We present a simple resolution proof system for higher-order constrained Horn clauses (HoCHC) - a system of higher-order logic modulo theories - and prove its soundness and refutat…