zwang271

WEST

Tool for generating regular expressions of set of all satisfying computations to Mission-time Linear Temporal Logic formulas.

mltl-inference

rationales_forced_labour

Rationale-Annotated Corpus for Detecting Indicators of Forced Labour

zwang271.github.io

CS285-Final-Project

CS182-Final-Project

WGAN-on-SC09

Trains a wGAN network on the SC09 dataset, a collection of raw audio files for the words 'zero', 'one', ... , 'nine'

SVM-Classifier

A support vector machine classifier for the MNIST, CIFAR-10, and spam data sets.

MNIST-and-CIFAR-10-Neural-Network-Classifier

zchess

Several implementations of chess AI

CS170-CSZ

CS170 Final Project by Candice, Samuel, Zili