Popular repositories Loading
-
tufte_algorithms_book
tufte_algorithms_book Public templateA template for textbooks in the same style as Algorithms for Optimization
-
NeuralVerification.jl
NeuralVerification.jl PublicMethods to soundly verify deep neural networks
-
-
aa228-notebook
aa228-notebook PublicIJulia notebooks for AA228/CS238 Decision Making Under Uncertainty course at Stanford University
Repositories
- AA228VProjects Public
Programming projects for Stanford's AA228V/CS238V Validation of Safety-Critical Systems
sisl/AA228VProjects’s past year of commit activity - StanfordAA228V.jl Public
Code for Stanford's AA228V/CS238V: Validation of Safety-Critical Algorithms
sisl/StanfordAA228V.jl’s past year of commit activity - LatentImportanceSampling Public
sisl/LatentImportanceSampling’s past year of commit activity - NNet Public
Documentation and scripts related to the .nnet file format. This file format specifies a simple text file to define feed-forward, fully-connected, ReLU activated neural networks. Example networks in this format can be found in the Reluplex repository.
sisl/NNet’s past year of commit activity - ASTPrompter Public
Weakly Supervised Automated Language Model Red-Teaming to Identify Likely Toxic Prompts.
sisl/ASTPrompter’s past year of commit activity