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
@vtjeng
vtjeng / MIPVerify_with_cbc
Last active Nov 25, 2019
Test runtime for MIPVerify package with CBC solver
View MIPVerify_with_cbc
────────────────────────────────────────────────────────────────────────────────────
Time Allocations
────────────────────── ───────────────────────
Tot / % measured: 1795s / 100% 17.9GiB / 98.8%
Section ncalls time %tot avg alloc %tot avg
────────────────────────────────────────────────────────────────────────────────────
integration/ 1 1479s 82.5% 1479s 3.62GiB 20.4% 3.62GiB
sequential/ 1 1479s 82.5% 1479s 3.62GiB 20.4% 3.62GiB
generated_weights/ 1 1479s 82.5% 1479s 3.62GiB 20.4% 3.62GiB
@vtjeng
vtjeng / MIPVerify_with_gurobi
Last active Nov 25, 2019
Test runtime for MIPVerify package with Gurobi solver
View MIPVerify_with_gurobi
────────────────────────────────────────────────────────────────────────────────────
Time Allocations
────────────────────── ───────────────────────
Tot / % measured: 273s / 98.7% 22.0GiB / 98.9%
Section ncalls time %tot avg alloc %tot avg
────────────────────────────────────────────────────────────────────────────────────
integration/ 1 130s 48.1% 130s 9.01GiB 41.4% 9.01GiB
sequential/ 1 130s 48.0% 130s 9.01GiB 41.4% 9.01GiB
trained_weights/ 1 84.6s 31.4% 84.6s 5.41GiB 24.9% 5.41GiB
@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.