Follow on Google News News By Tag Industry News Country(s) Industry News
Follow on Google News | CAV 2024 Award: Clark Barrett, David Dill, Kyle Julian, Guy Katz, Mykel Kochenderfer for ReluplexBy: Computer Aided Verification We are pleased to announce that the Computer Aided Verification (CAV) 2024 Award is given to: Clark Barrett, David Dill, Kyle Julian, Guy Katz, and Mykel Kochenderfer for their CAV 2017 paper titled "Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks" Deep neural networks are a state-of-the- The Reluplex work had an immense impact on formal methods research, by creating a highly active sub-field within the verification community, which is now center-stage in every major verification conference and is also subject to an annual competition dedicated specifically to the verification of neural networks (VNN-COMP). The Reluplex algorithm has been extended and enhanced, by the authors and by others, and the original paper has already accumulated more than 2000 citations (as of May 2024) – making it one of the most well-cited CAV papers in the past decades. Following their initial work, the authors continue to play a key role in solidifying the field of neural network verification. For more information please check: https://i-cav.org/ Congratulations! The CAV Award Committee: Corina Pasareanu (https://www.andrew.cmu.edu/ Rupak Majumdar (https://people.mpi- Ranjit Jhala (https://ranjitjhala.github.io) Alessandro Cimatti (https://dicenter.fbk.eu/ End
Account Email Address Account Phone Number Disclaimer Report Abuse
|
|