Skip to content
conftrace_

expected error

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

mechanized proof (1) neural network (1) machine-checked proof (1) theorem prover (1) generalization bound (1) linear classifier (1) support vector machine (1) distribution-free learning (1) formal verification (1) sample complexity (1)

Papers

On the Complexity of Proper Distribution-Free Learning of Linear Classifiers ALT 2020 Certifying the True Error: Machine Learning in Coq with Verified Generalization Guarantees AAAI 2019