Pinned Repositories
AA203_FinalProject
AA274A_HW1
Homework 1 code for Principles of Robot Autonomy I (AA 174A/274A, CS 237A, EE 260A)
AndroidAudioRecorder
A fancy audio recorder lib for Android. Supports WAV format at 48kHz.
GearRental
Gear Rental Work
HumanModelPlay
LabCollaboration
Marabou
MigraineModeling
MIPVerify.jl
Evaluating Robustness of Neural Networks with Mixed Integer Programming
NeuralOptimization.jl
A compilation of ReLU network optimization algorithms. Given some constraints on the input or output set, we'd like to optimize a linear function of ReLU outputs. Different algorithms can handle different types of restrictions on their input and output sets, as well as different optimization queries.
castrong's Repositories
castrong/NeuralOptimization.jl
A compilation of ReLU network optimization algorithms. Given some constraints on the input or output set, we'd like to optimize a linear function of ReLU outputs. Different algorithms can handle different types of restrictions on their input and output sets, as well as different optimization queries.
castrong/AA203_FinalProject
castrong/AA274A_HW1
Homework 1 code for Principles of Robot Autonomy I (AA 174A/274A, CS 237A, EE 260A)
castrong/AndroidAudioRecorder
A fancy audio recorder lib for Android. Supports WAV format at 48kHz.
castrong/GearRental
Gear Rental Work
castrong/HumanModelPlay
castrong/LabCollaboration
castrong/Marabou
castrong/MigraineModeling
castrong/MIPVerify.jl
Evaluating Robustness of Neural Networks with Mixed Integer Programming
castrong/MIPVerifyWrapper
castrong/MIR_Fall2017_Nupur_Chris
castrong/MIR_SU17_Service
castrong/NeuralVerification.jl
Methods to soundly verify deep neural networks
castrong/NeuralVerificationExamples
castrong/ReluplexOptimization
castrong/SafePerception
autotaxi approximate input image verification
castrong/VNN21Benchmarks
castrong/WealthModeling