38 citations · 67 across the 16 of their papers we have counts for
4 papers · 1 filter
Model Interpretability through the Lens of Computational Complexity
Pablo Barceló, Mikaël Monet, Jorge Pérez +1
In spite of several claims stating that some models are more interpretable than others -- e.g., "linear models are more interpretable than deep neural networks" -- we still lack a…
Session Coalgebras: A Coalgebraic View on Session Types and Communication Protocols
Alex C. Keizer, Henning Basold, Jorge A. Pérez
Compositional methods are central to the development and verification of software systems. They allow to break down large systems into smaller components, while enabling reasoning…
Predicting Unplanned Readmissions with Highly Unstructured Data
Constanza Fierro, Jorge Pérez, Javier Mora
Deep learning techniques have been successfully applied to predict unplanned readmissions of patients in medical centers. The training data for these models is usually based on his…
Session Type Systems based on Linear Logic: Classical versus Intuitionistic
Bas van den Heuvel, Jorge A. Pérez
Session type systems have been given logical foundations via Curry-Howard correspondences based on both intuitionistic and classical linear logic. The type systems derived from the…