DL2 Training and Querying Neural Networks with Logic

DL2:TrainingandQueryingNeuralNetworkswithLogicMarcFischer1MislavBalunovic´1DanaDrachsler-Cohen1TimonGehr1CeZhang1MartinVechev1AbstractWeintroduceanewmethodandsystem,calledDL22(acronymforDeepLearni...