A formal proof of PAC learnability for decision stumps. ~ J. Tassarotti, J.B. Tristan, K. Vajjha. https://arxiv.org/abs/1911.00385 #ITP #LeanProver
03:00 - 4. stu 2019.
0 replies
0 proslijeđenih tweetova
2 korisnika označavaju da im se sviđa
Čini se da učitavanje traje već neko vrijeme.
Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.