Similar repositories to longph1989/Socrates:

• longph1989/Socrates github similar
• romainthomas/the-poor-mans-obfuscator github similar
• IS2Lab/awesome-ai-testing github similar
• ICECCS2020/DRtest github similar
• SmallkeyChen/RobOT github similar
• rschumi0/ExAIS github similar
• wang-jingyi/Ziqian github similar
• muldvarp/CFGAnalyzer github similar
• haibinzheng/NeuronFair github similar
• muldvarp/DiMo github similar
• fiveai/parot github similar
• dgl-prc/rnn2automata github similar
• edwardxu0/GDVB github similar
• RUNCSP/RUN-CSP github similar
• tcwangshiqi-columbia/Neurify github similar
• fabriceyhc/mode_nn_debugging github similar
• TrustAI/DeepGame github similar
• eth-sri/lcifr github similar
• Testing4AI/DeepJudge github similar
• IBM/CNN-Cert github similar
• bugcounting/software-analysis github similar
• VeriDeep/DLV github similar
• tcsprojects/pgsolver github similar
• progirep/planet github similar
• sisl/NNet github similar
• pksohn/tweet-clustering github similar
• arlencox/mlbdd github similar
• albertocasagrande/pyModelChecking github similar
• coinse/sadl github similar
• dlshriver/dnnv github similar
• guykatzz/ReluplexCav2017 github similar
• AI-secure/Provable-Training-and-Verification-Approaches-Towards-Robust-Neural-Networks github similar
• NeuralNetworkVerification/Marabou github similar
• emacsfodder/emacs-theme-creamsody github similar
• tech-srl/lstar_extraction github similar
• TrustAI/DeepConcolic github similar
• dbuenzli/down github similar
• janestreet/pythonlib github similar
• verivital/nnv github similar
• yshavit/antlr-denter github similar