Presentations
ECCB 2024 (oral presentation): forthcoming
AGI 2023 in Dubai (invited talk): Higher-order probabilistic and quantum dependent type systems
AGI 2022 (oral presentation): A meta-probabilistic-programming language for bisimulation of probabilistic and non-well-founded type systems, (paper)
OpenCog Hyperon workshop, 2022 (invited talk): Formalizing Higher-order Probabilistic Type Systems in MeTTa
AGI 2021 (keynote presentation): Probabilistic Dependent Types and Semantics in AGI: Formal and Philosophical perspectives
nference @ Cambridge MA (invited talk): Stochastic Type Theory and Interpretable Machine Learning: From data to abstract knowledge in Psychiatric Genomics and Cancer Applications
World Congress on Psychiatric Genetics, Education Day, 2019 (invited talk): Machine Learning in Psychiatric Genomics: Integrating Multiple Levels of Analysis Through Deep Network Models
Bayesian Deep Learning workshop , NeurIPS, 2019 (spotlight talk): Hierarchical PAC-Bayes Bounds via Deep Probabilistic Programming, (paper)
RECOMB/ISCB, 2018 (oral presentation): Interpretable Deep-learning for Multilevel Models of Psychiatric Disorders
ECCV, 2012 (oral presentation): Filter-based Mean-field Inference for Random Fields with Higher-order Terms and Product Label-Spaces
EMM-CVPR, 2011 (oral presentation): Multiple-Instance Learning with Structured Bag Models
BMCV, 2010 (oral presentation): StyP-Boost: A Bilinear Boosting Algorithm for Learning Style-Parameterized Classifiers