A formal proof of PAC learnability for decision stumps.

Joseph Tassarotti, Koundinya Vajjha, Anindya Banerjee, Jean-Baptiste Tristan

Browse the full CPP paper archive.