Reluplex Software Authors: Guy Katz, Clark Barrett, David Dill, Kyle Julian, Mykel Kochenderfer Cited in: 29 Publications (2017–2022) Related Software: AI2; Marabou; Adam; NNV; MNIST; DeepFool; … Main Fields: Algebraic geometry (14-XX); Numerical analysis (65-XX); Computer science (68-XX)
Marabou Software Authors: Katz, G., Huang, D.A., Ibeling, D., Julian, K., Lazarus, C., Lim, R., Shah, P., Thakoor, S.,Wu, H., Zelji ́c, A., Dill, D.L., Kochenderfer, M.J., Barrett, C. Cited in: 8 Publications (2021–2022) Related Software: Reluplex; MNIST; PRODeep; DeepFool; NNV; ReachNN; … Main Fields: Algebraic geometry (14-XX); Convex and discrete geometry (52-XX); Computer science (68-XX)
CosFace Software Authors: Hao Wang, Yitong Wang, Zheng Zhou, Xing Ji, Dihong Gong, Jingchao Zhou, Zhifeng Li, Wei Liu Cited in: 4 Publications (2019–2021) Related Software: ImageNet; FaceNet; AlexNet; SphereFace; Faster R-CNN; DeepFace; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Information and communication theory, circuits (94-XX)
NNV Software Authors: Hoang-Dung Tran, Xiaodong Yang, Diego Manzanas Lopez, Patrick Musau, Luan Viet Nguyen, Weiming Xiang, Stanley Bak, Taylor T. Johnson Cited in: 5 Publications (2021–2022) Related Software: Reluplex; VERIFAI; Marabou; MPT; MNIST; NeuralCDE; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX)
DeepID3 Software Authors: Yi Sun, Ding Liang, Xiaogang Wang, Xiaoou Tang Cited in: 3 Publications (2017–2020) Related Software: DeepFace; FaceNet; ImageNet; ShuffleNet; AdaCos; SphereFace; … Main Fields: Statistics (62-XX); Computer science (68-XX)
nncontroller Software Authors: Zhao, Hengjun; Zeng, Xia; Chen, Taolue; Liu, Zhiming; Woodcock, Jim Cited in: 4 Publications (2020–2021) Related Software: Reluplex; Spacer; CLN2INV; AI2; Adam; Sherlock; … Main Fields: Computer science (68-XX); Systems theory; control (93-XX)
Sherlock Software Authors: Dutta, Souradeep; Chen, Xin; Jha, Susmit; Sankaranarayanan, Sriram; Tiwari, Ashish Cited in: 4 Publications (2019–2022) Related Software: ReachNN; Reluplex; GAZEBO; Wasserstein GAN; AI2; Marabou; … Main Fields: Algebraic geometry (14-XX); Convex and discrete geometry (52-XX); Computer science (68-XX)
AdaCos Software Authors: Xiao Zhang, Rui Zhao, Yu Qiao, Xiaogang Wang, Hongsheng Li Cited in: 1 Publication (2020) Related Software: DeepID3; FaceX-Zoo; ShuffleNet; FaceNet; SphereFace; AdaptiveFace; … Main Fields: Computer science (68-XX)
CLN2INV Software Authors: Gabriel Ryan, Justin Wong, Jianan Yao, Ronghui Gu, Suman Jana Cited in: 2 Publications (2020–2021) Related Software: nncontroller; Spacer; AI2; Reluplex; Adam; Code2Inv; … Main Fields: Computer science (68-XX)
NeVer Software Authors: Pulina, Luca; Tacchella, Armando Cited in: 2 Publications (2011–2018) Related Software: Matlab; OPQ; SHARK; CESAR; Roboop Main Fields: Special functions (33-XX); Computer science (68-XX)
PRODeep Software Authors: Li R, Li J, Huang CC, Yang P, Huang X, Zhang L, Xue B, Hermanns H Cited in: 2 Publications (2021) Related Software: Reluplex; Marabou; XNOR-Net; EfficientNet; Apollo; MNIST; … Main Fields: Computer science (68-XX)
RecurJac Software Authors: Huan Zhang, Pengchuan Zhang, Cho-Jui Hsieh Cited in: 2 Publications (2020–2021) Related Software: AI2; Reluplex; SCIP; Grad-CAM; DeepGauge; DeepMutation; … Main Fields: Computer science (68-XX)
ASVtorch Software Authors: Kong Aik Lee, Ville Vestman, Tomi Kinnunen Cited in: 0 Publications Related Software: Python; SIDEKIT; Bob; VoxCeleb; ALIZE; FFmpeg; … Main Fields: –
DiffRNN Software Authors: Mohammadinejad, Sara; Paulsen, Brandon; Deshmukh, Jyotirmoy V.; Wang, Chao Cited in: 1 Publication (2021) Related Software: NeuroDiff; ReluDiff; POPQORN; DeepGauge; DeepXplore; TensorFuzz; … Main Fields: Computer science (68-XX)
ERAN Software Authors: Secure, Reliable, and Intelligent Systems Lab (SRI), Department of Computer Science ETH Zurich Cited in: 1 Publication (2021) Related Software: FastGRNN; Shiftry; gRPC; AI2; DL2; SyReNN; … Main Fields: Computer science (68-XX)
GoTube Software Authors: Sophie Gruenbacher, Mathias Lechner, Ramin Hasani, Daniela Rus, Thomas A. Henzinger, Scott Smolka, Radu Grosu Cited in: 1 Publication (2022) Related Software: NeuralCDE; torchcde; Diffrax; JuliaReach; nnenum; Verisig; … Main Fields: Computer science (68-XX)
NeuroDiff Software Authors: Brandon Paulsen, Jingbo Wang, Jiawei Wang, Chao Wang Cited in: 1 Publication (2021) Related Software: ReluDiff; POPQORN; DiffRNN; DeepGauge; DeepXplore; TensorFuzz; … Main Fields: Computer science (68-XX)
nnenum Software Authors: Stanley Bak Cited in: 1 Publication (2022) Related Software: NeuralCDE; torchcde; Diffrax; JuliaReach; Verisig; GoTube; … Main Fields: Computer science (68-XX)
ReluDiff Software Authors: Brandon Paulsen, Jingbo Wang, Chao Wang Cited in: 1 Publication (2021) Related Software: NeuroDiff; POPQORN; DiffRNN; DeepGauge; DeepXplore; TensorFuzz; … Main Fields: Computer science (68-XX)
Roosterize Software Authors: Nie, Pengyu; Palmskog, Karl; Li, Junyi Jessy; Gligoric, Milos Cited in: 1 Publication (2020) Related Software: PCM library; Lucene; GitHub; HoTT; OpenNMT; JSNice; … Main Fields: Computer science (68-XX)