Vincent Tjeng

@leastcompressible I think the typo you discovered is responsible for the train and test losses being identical in the documentation for `modern.py` https://github.com/karpathy/lecun1989-repro/blob/8553f52c8d0a51a4bbbabf98e005cef28a22a36b/modern.py#L11-L40 as well as in the accompanying blogpost...

Thanks for your detailed issue. I'll take a closer look at the contents of the zip file when I have time, but in the meantime it is a known issue...

It looks like it might be a permissions issue with the `/tmp` directory; [this issue](https://github.com/vtjeng/MIPVerify.jl/issues/21#issuecomment-539885615) looks similar. In the meantime, you could pass the keyword argument [`cache_model=False`](https://vtjeng.github.io/MIPVerify.jl/stable/finding_adversarial_examples/single_image/#MIPVerify.find_adversarial_example-Tuple{NeuralNet,Array{#s164,N}%20where%20N%20where%20#s164%3C:Real,Union{Integer,%20Array{#s163,1}%20where%20#s163%3C:Integer},MathProgBase.SolverInterface.AbstractMathProgSolver}) so that the...

We don't currently have support for converting general onnx models to .mat format, but I may be able to help out if you're encountering specific issues. What sort of network...

To implement max-pooling, it suffices to be able to implement the `max` _constraint_, that is, to be able to set `y` such that ``` y = max(x_1, x_2, . ....

Was your network trained with a robustness objective? (Knowing this will help me debug the issue). The performance of the classifier is sensitive to the number of unstable ReLUs (as...

For networks trained without a robustness objective, here's a few other things you can try: * Try a smaller bounded norm just to see that everything is working --- for...

@gear, continuing the conversation in this thread works well. A few follow-up questions: - When you say that your code hangs with `interval`, what is the last log line that...

Thanks for the PR! I've been really busy these past few days, but will take a look at it as soon as I can.

I have `Windows Terminal 1.5.10271.0` installed, and it looks like Ctrl+Click on `http://127.0.0.1:5000` actually already works (which is amazing!) - which release was this made available in? (https://github.com/microsoft/terminal/releases does not...