Clark Barrett
Stanford Medicine(US)Stanford University(US)
Publications by Year
Research Areas
Formal Methods in Verification, Logic, programming, and type systems, Software Testing and Debugging Techniques, Adversarial Robustness in Machine Learning, Logic, Reasoning, and Knowledge
Most-Cited Works
- → Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks(2017)1,622 cited
- → Satisfiability Modulo Theories(2018)1,105 cited
- The SMT-LIB Standard Version 2.0(2010)
- → CVC4(2011)612 cited
- → The Marabou Framework for Verification and Analysis of Deep Neural Networks(2019)471 cited
- → cvc5: A Versatile and Industrial-Strength SMT Solver(2022)379 cited
- → CVC Lite: A New Implementation of the Cooperating Validity Checker(2004)274 cited
- →