Work

Learning DNN Abstractions using Gradient Descent

Year: 2024

Type: conference-paper

Source: IEEE/ACM International Conference on Automated Software Engineering (ASE)

DOI: 10.1145/3691620.3695303

Authors: Diganta Mukhopadhyay, Sanaa Siddiqui, Hrishikesh Karmarkar, Kumar Madhukar, Guy Katz

Institutions: Tata Consultancy Services (India), Indian Institute of Technology Delhi, Hebrew University of Jerusalem

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W4403536042

FWCI:

Cites: 20

Cited by:

Related to: 10