Work

DL2: Training and Querying Neural Networks with Logic.

Year: 2019

Type: conference-paper

Source: International Conference on Machine Learning

Authors: Marc Fischer, Mislav Balunović, Dana Drachsler-Cohen, Timon Gehr, Ce Zhang, Martin Vechev

Institutions: Lawrence Berkeley National Laboratory, ETH Zurich

Language: English

Topic: Logic, Reasoning, and Knowledge

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2923924002

FWCI: 5.165

Cites: 5

Cited by: 67

Related to: 10