Skip to content

Instantly share code, notes, and snippets.

Vincent Tjeng vtjeng

Block or report user

Report or block vtjeng

Hide content and notifications from this user.

Learn more about blocking users

Contact Support about this user’s behavior.

Learn more about reporting abuse

Report abuse
View GitHub Profile
View gist:a98aa7bec19df9144b9499d0cec3a21f
Test Summary: | Pass Fail Error Total
MIPVerify | 253 12 8 273
integration tests | 23 12 35
sequential | 23 12 35
generated_weights | 13 12 25
mfc + mfc + softmax | 6 2 8
Basic integration test for MaskedReLU layer. | 6 2 8
target labels = 1, unrestricted perturbation, norm order = Inf, tolerance = 0 | 2 2
@vtjeng
vtjeng / verify.jl
Created Apr 28, 2019
sample verification code for MIPVerify.jl
View verify.jl
using MIPVerify
using Gurobi
nnparams = get_example_network_params("MNIST.WK17a_linf0.1_authors")
mnist = read_datasets("mnist")
MIPVerify.setloglevel!("info")
MIPVerify.batch_find_untargeted_attack(
nnparams,
You can’t perform that action at this time.