research
∙
11/24/2021
On computable learning of continuous features
We introduce definitions of computable PAC learning for binary classific...
share
research
∙
06/25/2021
Conjugate Energy-Based Models
In this paper, we propose conjugate energy-based models (CEBMs), a new c...
research
∙
07/14/2020
Verification of ML Systems via Reparameterization
As machine learning is increasingly used in essential systems, it is imp...
research
∙
11/01/2019
A Formal Proof of PAC Learnability for Decision Stumps
We present a machine-checked, formal proof of PAC learnability of the co...
research
∙
10/02/2018
Sketching for Latent Dirichlet-Categorical Models
Recent work has explored transforming data sets into smaller, approximat...
research
∙
07/26/2017
Enforcing Constraints on Outputs with Unconstrained Inference
Increasingly, practitioners apply neural networks to complex problems in...
research
∙
12/12/2013