144 citations · 144 across the 5 of their papers we have counts for
5 papers
Meta-MeTTa: an operational semantics for MeTTa
Lucius Gregory Meredith, Ben Goertzel, Jonathan Warrell +1
We present an operational semantics for the language MeTTa.
Higher-Order Generalization Bounds: Learning Deep Probabilistic Programs via PAC-Bayes Objectives
Jonathan Warrell, Mark Gerstein
Deep Probabilistic Programming (DPP) allows powerful models based on recursive computation to be learned using efficient deep-learning optimization techniques. Additionally, DPP of…
A meta-probabilistic-programming language for bisimulation of probabilistic and non-well-founded type systems
Jonathan Warrell, Alexey Potapov, Adam Vandervorst +1
We introduce a formal meta-language for probabilistic programming, capable of expressing both programs and the type systems in which they are embedded. We are motivated here by the…
Quantum Computing at the Frontiers of Biological Sciences
Prashant S. Emani, Jonathan Warrell, Alan Anticevic +15
The search for meaningful structure in biological data has relied on cutting-edge advances in computational technology and data science methods. However, challenges arise as we pus…
Rank Projection Trees for Multilevel Neural Network Interpretation
Jonathan Warrell, Hussein Mohsen, Mark Gerstein
A variety of methods have been proposed for interpreting nodes in deep neural networks, which typically involve scoring nodes at lower layers with respect to their effects on the o…