Pinned Repositories
adversarial-examples-linear-classifier
Finding adversarial examples for a linear classifier
adversarial-verifier
Verification of vulnerability of neural network to adversarial examples.
ConditionalJuMP.jl
Automatic transformation of implications and complementarity into mixed-integer models in Julia
friends-of-the-round-table
Code for problem at http://math.stackexchange.com/questions/833541/making-friends-around-a-circular-table
MIPVerify-converter
MIPVerify.jl
Evaluating Robustness of Neural Networks with Mixed Integer Programming
PiTimelapse
Timelapse photography with the Raspberry Pi camera.
supervised-output-feedback
Supervised learning approaches to generating an output feedback controller for a Dubin's car.
vtjeng's Repositories
vtjeng/MIPVerify.jl
Evaluating Robustness of Neural Networks with Mixed Integer Programming
vtjeng/friends-of-the-round-table
Code for problem at http://math.stackexchange.com/questions/833541/making-friends-around-a-circular-table
vtjeng/MIPVerify-converter
vtjeng/PiTimelapse
Timelapse photography with the Raspberry Pi camera.
vtjeng/addons
Useful extra functionality for TensorFlow 2.x maintained by SIG-addons
vtjeng/auto-attack
Code relative to "Reliable evaluation of adversarial robustness with an ensemble of diverse parameter-free attacks"
vtjeng/chess-jupyter
Chess analysis with Jupyter (proof of concept)
vtjeng/coding-contests
My solutions for miscellaneous coding contests.
vtjeng/Dora
Tools for exploratory data analysis in Python
vtjeng/dotfiles-public
vtjeng/ffcv
FFCV: Fast Forward Computer Vision
vtjeng/gdmarmerola.github.io
My webpage drawing inspiration from the Sleek theme: https://github.com/janczizikow/sleek
vtjeng/ImageAxes.jl
Julia package for giving "meaning" to the axes of an image
vtjeng/ImageCore.jl
Julia types for representing images
vtjeng/ImageMetadata.jl
Julia package for images having metadata
vtjeng/IntervalArithmetic.jl
Library for validated numerics using interval arithmetic
vtjeng/JuliaFormatter.jl
An opinionated code formatter for Julia. Plot twist - the opinion is your own.
vtjeng/juliaimages.github.io
Documentation For JuliaImages
vtjeng/JuMP.jl
Modeling language for Mathematical Optimization (linear, mixed-integer, conic, semidefinite, nonlinear)
vtjeng/Manifolds.jl
Manifolds.jl provides a library of manifolds aiming for an easy-to-use and fast implementation.
vtjeng/MIPVerify_data
vtjeng/ml-explainers
A list of resources explaining core machine learning concepts.
vtjeng/poker
A Rust crate for evaluating poker hands
vtjeng/poker-solitaire
vtjeng/poker_ai
🤖 An Open Source Texas Hold'em AI
vtjeng/rs-poker
vtjeng/site
vtjeng/vnn-comp
vtjeng/vtjeng.github.io
My personal site.
vtjeng/wordlesolver
Solver for Wordle