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
- SatelliteDynamics.jl Public
SatelliteDynamics.jl is a satellite dynamics modeling package written for Julia.
sisl/SatelliteDynamics.jl’s past year of commit activity - astra-rl Public
The Adaptive Stress Testing for Robust AI (ASTRA) toolbox provides tooling to support model developers and testing in the full life cycle of making more robust AI Systems through the application of adaptive stress testing and adversarial training.
sisl/astra-rl’s past year of commit activity - LiPOMDP_Validation Public
sisl/LiPOMDP_Validation’s past year of commit activity - ventilators Public
Code for the paper "Optimal Control of Mechanical Ventilators with Learned Respiratory Dynamics"
sisl/ventilators’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 - MultiAgentPOMDPProblems.jl Public
Collection of multiagent POMDP problems used in the Dec-POMDP literature.
sisl/MultiAgentPOMDPProblems.jl’s past year of commit activity - zero_order_rnn Public
This is the official repo of "Scaling Recurrent Neural Networks to a Billion Parameters with Zero-Order Optimization"
sisl/zero_order_rnn’s past year of commit activity
