From the 6 of 197 papers with an AI index.
34 citations
- Centre National de la Recherche ScientifiqueFR64 papers
- Université Paris CitéFR60 papers
- Université Paris-SaclayFR56 papers
- University of WarwickGB56 papers
- University of CambridgeGB53 papers
- University of ChicagoUS52 papers
- Sorbonne UniversitéFR51 papers
- University College LondonGB51 papers
- University of Cape TownZA51 papers
- University of CopenhagenDK51 papers
- University of OxfordGB51 papers
- Chinese Academy of SciencesCN50 papers
6 papers · 1 filter
Univalent Enriched Categories and the Enriched Rezk Completion
Niels van der Weide
Enriched categories are categories whose sets of morphisms are enriched with extra structure. Such categories play a prominent role in the study of higher categories, homotopy theo…
Templates in Rewriting Induction
Kasper Hagens, Cynthia Kop
Rewriting Induction (RI) is a formal system in term rewriting to establish program equivalence. The recently defined Bounded RI for higher-order Logically Constrained Term Rewritin…
Tractable Hyperproperties for MDPs
Lina Gerlach, Tobias Winkler, Erika Ãbrahám +2
Probabilistic hyperproperties describe probabilistic relations between multiple sets of executions in a stochastic system. Prominent examples include information-theoretic characte…
Compositional Inference for Bayesian Networks and Causality
Bart Jacobs, Márk Széles, Dario Stein
Inference is a fundamental reasoning technique in probability theory. When applied to a large joint distribution, it involves updating with evidence (conditioning) in one or more c…
Initial Algebras of Domains via Quotient Inductive-Inductive Types
Simcha van Collem, Niels van der Weide, Herman Geuvers
Domain theory has been developed as a mathematical theory of computation and to give a denotational semantics to programming languages. It helps us to fix the meaning of language c…
Order in Partial Markov Categories
Elena Di Lavore, Mario Román, PaweÅ SobociÅski +1
Partial Markov categories are a recent framework for categorical probability theory that provide an abstract account of partial probabilistic computation with updating semantics. I…