research
∙
08/20/2023
Towards a Formally Verified Security Monitor for VM-based Confidential Computing
Confidential computing is a key technology for isolating high-assurance ...
share
research
∙
10/11/2022
Navigating Ensemble Configurations for Algorithmic Fairness
Bias mitigators can improve algorithmic fairness in machine learning mod...
research
∙
03/16/2022
Translating Canonical SQL to Imperative Code in Coq
SQL is by far the most widely used and implemented query language. Yet, ...
research
∙
02/12/2022
Formalization of a Stochastic Approximation Theorem
Stochastic approximation algorithms are iterative procedures which are u...
research
∙
02/01/2022
An Empirical Study of Modular Bias Mitigators and Ensembles
There are several bias mitigators that can reduce algorithmic bias in ma...
research
∙
09/23/2020
CertRL: Formalizing Convergence Proofs for Value and Policy Iteration in Coq
Reinforcement learning algorithms solve sequential decision-making probl...
research
∙
07/04/2020
Lale: Consistent Automated Machine Learning
Automated machine learning makes it easier for data scientists to develo...
research
∙
11/28/2019
Type Safety with JSON Subschema
JSON is a popular data format used pervasively in web APIs, cloud comput...
research
∙
05/24/2019
Type-Driven Automated Learning with Lale
Machine-learning automation tools, ranging from humble grid-search to hy...
research
∙
12/06/2018
Yaps: Python Frontend to Stan
Stan is a popular probabilistic programming language with a self-contain...
research
∙
09/30/2018
Extending Stan for Deep Probabilistic Programming
Deep probabilistic programming combines deep neural networks (for automa...
research
∙
05/10/2018