Travelled to:1 × USA
Collaborated with:C.W.Barrett D.L.Dill K.Julian M.J.Kochenderfer B.Ekici A.Mebsout C.Tinelli C.Keller A.Reynolds A.Dayan N.Biasdi L.Rokach B.Shapira A.Aydin R.Schwaiger R.Fishel D.A.Huang D.Ibeling C.Lazarus R.Lim P.Shah S.Thakoor H.W.0001 A.Zeljic
Talks about:smt (3) framework (2) network (2) solver (2) neural (2) deep (2) coq (2) recommend (1) benchmark (1) reluplex (1)
Person: Guy Katz
DBLP: Katz:Guy
Contributed to:
2011
201720172019Wrote 4 papers:
- RecSys-2011-DayanKBRSASF #benchmark #framework #metric #recommendation
- Recommenders benchmark framework (AD, GK, NB, LR, BS, AA, RS, RF), pp. 353–354.
- CAV-2017-KatzBDJK #named #network #performance #smt #verification
- Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks (GK, CWB, DLD, KJ, MJK), pp. 97–117.
- CAV-2017-EkiciMTKKRB #coq #named #plugin #smt
- SMTCoq: A Plug-In for Integrating SMT Solvers into Coq (BE, AM, CT, CK, GK, AR, CWB), pp. 126–133.
- CAV-2019-KatzHIJLLSTWZDK #analysis #framework #network #verification
- The Marabou Framework for Verification and Analysis of Deep Neural Networks (GK, DAH, DI, KJ, CL, RL, PS, ST, HW0, AZ, DLD, MJK, CWB), pp. 443–452.