Publications

Proof Extraction for Logical Neural Networks

• • Thabang Lebese
  • Ndivhuwo Makondo
  • et al.
• 2021
• NeurIPS 2021