A Formal Proof of PAC Learnability for Decision Stumps

Open in new window