Proof Extraction for Logical Neural Networks
- Thabang Lebese
- Ndivhuwo Makondo
- et al.
- 2021
- NeurIPS 2021
Workshop paper
Publications
98 results at NeurIPS 2021
Post-discovery Analysis of Anomalous Subsets
- Isaiah Onando Mulang’
- William Ogallo
- et al.
- 2021
- NeurIPS 2021
Workshop paperFLoRA: Single-shot Hyper-parameter Optimization for Federated Learning
- Yi Zhou
- Parikshit Ram
- et al.
- 2021
- NeurIPS 2021
Workshop paperIdentification of Enzymatic Active Sites with Unsupervised Language Modelling
- Loic Kwate Dassi
- Matteo Manica
- et al.
- 2021
- NeurIPS 2021
Workshop paperGrapher: Multi-Stage Knowledge Graph Construction using Pretrained Language Models
- Igor Melnyk
- Pierre Dognin
- et al.
- 2021
- NeurIPS 2021
Workshop paperAccurate Multi-Endpoint Molecular Toxicity Predictions in Humans with Contrastive Explanations
- Bhanushee Sharma
- Vijil Vijil
- et al.
- 2021
- NeurIPS 2021
Workshop paperOptimizing Functionals on the Space of Probabilities with Input Convex Neural Network
- David Alvarez-Melis
- Yair Schiff
- et al.
- 2021
- NeurIPS 2021
Workshop paperQTN-VQC: An End-to-End Learning Framework for Quantum Neural Networks
- Jun Qi
- Chao-Han Huck Yang
- et al.
- 2021
- NeurIPS 2021
Workshop paperRASL: Relational Algebra in Scikit-Learn Pipelines
- Chirag Sahni
- Kiran Kate
- et al.
- 2021
- NeurIPS 2021
Workshop paperS3RP: Self-Supervised Super-Resolution and Prediction for Advection-Diffusion Process
- Chulin Wang
- Kyongmin Yeo
- et al.
- 2021
- NeurIPS 2021
Workshop paper