Stanford Intelligent Systems Laboratory

NeuralVerification.jl

Methods to soundly verify deep neural networks

Crux.jl

Julia library for deep reinforcement learning

SatelliteDynamics.jl

SatelliteDynamics.jl is a satellite dynamics modeling package written for Julia.

D3Trees.jl

Flexible interactive visualization for large trees in Julia using D3.js

AA228-CS238-Student

Starter code and data files for AA228/CS238 at Stanford University, Autumn 2021

astra-rl

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.

OVERT.jl

Relational piecewise-linear overapproximations of multi-dimensional functions

Spot.jl

Julia wrapper for the Spot LTL and automata manipulation library

BayesianSafetyValidation.jl

Estimate probability of failure using reframed Bayesian optimization

ExpFamilyPCA.jl

A Julia package for exponential family principal component analysis (EPCA).

RoombaPOMDPs.jl

Formulation of Roomba localization as a POMDP

zero_order_rnn

This is the official repo of "Scaling Recurrent Neural Networks to a Billion Parameters with Zero-Order Optimization"

StanfordAA228V.jl

Code for Stanford's AA228V/CS238V: Validation of Safety-Critical Algorithms

MultiAgentPOMDPProblems.jl

Collection of multiagent POMDP problems used in the Dec-POMDP literature.

StructuredGaussianMixtures.jl

ASTPrompter

Weakly Supervised Automated Language Model Red-Teaming to Identify Likely Toxic Prompts.

sequential_resource_allocation

RedCodeGen

AV-Robust-Planning-Diffusion-Failure-Sampler

distribution_based_control

LatentImportanceSampling

Enhanced Importance Sampling through Latent Space Exploration in Normalizing Flows

ventilators

Code for the paper "Optimal Control of Mechanical Ventilators with Learned Respiratory Dynamics"

I-VAE

The inversion variational autoencoder (I-VAE) implemented in PyTorch

LifeDetection

Autonomy for the Enceladus Orbilander's proposed Life Detection instrument suite. In partnership with NASA Ames Intelligent Systems Division.

LiPOMDP_Validation

loc-gsopt

This repository provides an application for determining the optimal ground station network position locations for a given satellite mission. It contains the code and examples supporting the associated paper submitted to the AIAA Journal of Aerospace Information Systems.

MPPCAImportanceSampling

Scalable Importance Sampling in High Dimensions with Low-Rank Mixture Proposals

MuonPOMDPs.jl

Intrusion discovering using muon tomography modeled as a POMDP

POMDP_Plan

POMDPs for task completion scheduling

RunwayLib.jl