Joseph Tassarotti Koundinya Vajjha Anindya Banerjee 0001 Jean-Baptiste Tristan A formal proof of PAC learnability for decision stumps. 5-17 2021 CPP https://doi.org/10.1145/3437992.3439917 conf/cpp/2021 db/conf/cpp/cpp2021.html#TassarottiV0T21