Joseph Tassarotti, Koundinya Vajjha, Anindya Banerjee, Jean-Baptiste Tristan: A formal proof of PAC learnability for decision stumps. CPP 2021: 5-17