research
∙
05/26/2023
Meta-MeTTa: an operational semantics for MeTTa
We present an operational semantics for the language MeTTa....
share
research
∙
03/30/2022
Higher-Order Generalization Bounds: Learning Deep Probabilistic Programs via PAC-Bayes Objectives
Deep Probabilistic Programming (DPP) allows powerful models based on rec...
research
∙
03/30/2022
A meta-probabilistic-programming language for bisimulation of probabilistic and non-well-founded type systems
We introduce a formal meta-language for probabilistic programming, capab...
research
∙
12/01/2018
Rank Projection Trees for Multilevel Neural Network Interpretation
A variety of methods have been proposed for interpreting nodes in deep n...
research
∙
10/16/2013