Publications
Filter by
Open menu
1 result for
Thabang Lebese
Proof Extraction for Logical Neural Networks
Thabang Lebese
Ndivhuwo Makondo
et al.
2021
NeurIPS 2021