conftrace_

mechanized proof

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

expected error (1) neural network (1) machine-checked proof (1) theorem prover (1) generalization bound (1) formal verification (1) neural network training (1)

Papers

Certifying the True Error: Machine Learning in Coq with Verified Generalization Guarantees AAAI 2019