M

Matthew B. Dwyer

ORCID: 0000-0002-1937-1544

304 papers and 10.1k citations.

PubIndex Score98Top 2%How it's scored

304Publications

10.1kTotal Citations

First publication: 1994First senior author: 1997

Top publicationsby citations

A DPLL(T) Framework for Verifying Deep Neural Networks

Hai Duong, Matthew B. Dwyer|arXiv (Cornell University)|2023

Cited by 9

Indexing the rest of 304 publications…