Who Cited It

Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks

2017 · Lecture notes in computer science · 1,709 citations · 2 from inside this corpus

Guy Katz, Clark Barrett, David L. Dill low, Kyle D. Julian, Mykel J. Kochenderfer

No abstract in the source record.

Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks (2017)Reluplex: An Efficient SMT So…Mastering the game of Go with deep neural networks and tree search (2016)Mastering the game of Go with…Deep Neural Networks for Acoustic Modeling in Speech Recognition: The Shared Views of Fou… (2012)Deep Neural Networks for Acou…Proceedings of the 25th international conference on Machine learning - ICML '08 (2008)Proceedings of the 25th inter…Deep Sparse Rectifier Neural Networks (2011)Deep Sparse Rectifier Neural …GRASP: a search algorithm for propositional satisfiability (1999)GRASP: a search algorithm for…Adversarial Examples: Attacks and Defenses for Deep Learning (2019)Adversarial Examples: Attacks…Explaining Deep Neural Networks and Beyond: A Review of Methods and Applications (2021)Explaining Deep Neural Networ…
7 of 7 neighbouring works in this corpus. Blue is what this paper cites; orange is what cites it, and a dashed line is one neighbour citing another. Only the largest labels are drawn — every node carries its full title on hover.
this paper works it cites works citing it node size = global citations · hover for the full title

What this paper cites, inside the corpus

PaperYearCited
Mastering the game of Go with deep neural networks and tree search201616,014
Deep Neural Networks for Acoustic Modeling in Speech Recognition: The Shared Views of Fou…201210,399
Proceedings of the 25th international conference on Machine learning - ICML '0820086,718
Deep Sparse Rectifier Neural Networks20115,428
GRASP: a search algorithm for propositional satisfiability19991,368

What cites it, inside the corpus

PaperYearCited
Adversarial Examples: Attacks and Defenses for Deep Learning20191,786
Explaining Deep Neural Networks and Beyond: A Review of Methods and Applications20211,424

Links

DOI · OpenAlex record

Topics

Adversarial Robustness in Machine LearningComputer Science
Formal Methods in VerificationComputer Science
Advanced Neural Network ApplicationsComputer Science

Is this record sound?

complete

Nothing in this record contradicts itself and no field we check is missing.

  • supports5 author record(s) attached.
  • supports38 reference(s) recorded.
  • neutralThe DOI carries no year to check against.
  • supportsA title is present.

Provenance

Everything above was read from one stored OpenAlex payload, fetched 2026-09-04T03:58:53+00:00.

sha256 db1645b78a57e29a…