GitHub - Quickblink/verML: Verification of Machine Learning Practical Course

Quickblink / verML Public

Verification of Machine Learning Practical Course

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 30 Commits
Boosting.thy		Boosting.thy
DecisionStump.thy		DecisionStump.thy
FiniteHypClasses.thy		FiniteHypClasses.thy
LearningTheory.thy		LearningTheory.thy
LinearPredictor.thy		LinearPredictor.thy
Pi_pmf.thy		Pi_pmf.thy
RpowD.thy		RpowD.thy
Theorem611.thy		Theorem611.thy
VCDim.thy		VCDim.thy