Authors Search About

Lebese, Thabang

1 publications

NeurIPSW 2021 Proof Extraction for Logical Neural Networks Thabang Lebese, Ndivhuwo Makondo, Cristina Cornelio, Naweed Khan

ML Anthology — Open source under Apache 2.0. GitHub. Privacy Policy