Joe Scott's repositories
Genetic-Algorithms-with-Logic-Guided-Machine-Learning
Work Space for the Novel Logic Guided Machine Learning technique and its use in Symbolic Regression. Specifically this project will focus on integrating Genetic Algorithms with LGML.
summer-school-website
website for the summer school
alpha-beta-CROWN
alpha-beta-CROWN: An Efficient, Scalable and GPU Accelerated Neural Network Verifier (winner of VNN-COMP'21)
auto_LiRPA
auto_LiRPA: An Automatic Linear Relaxation based Perturbation Analysis Library for Neural Networks and General Computational Graphs
benchexec
BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
blurple.py
A python library for building user interfaces in discord.
cadical
CaDiCaL SAT Solver
CVC4
CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
dl2
DL2 is a framework that allows training neural networks with logical constraints over numerical values in the network (e.g. inputs, outputs, weights) and to query networks for inputs fulfilling a logical formula.
ece208
Git repo for ECE208
exurb1a-27
A script that simulates the graphical effects from Exurb1a's video: 27 https://www.youtube.com/watch?v=dLRLYPiaAoA
func_timeout
Python module which allows you to specify timeouts when calling any existing function, and support for stoppable threads
gm-games
Single-player :basketball: and :football: management simulation games, made entirely in client-side JavaScript.
jwst
Python library for science observations from the James Webb Space Telescope
minimal
Minimal is a Jekyll theme for GitHub Pages
neurocore-public
NeuroCore: Guiding CDCL with Unsat-Core Predictions
onnx
Open standard for machine learning interoperability
stringfuzz
Fuzzer and generator for string and regex problems in SMT-LIB 2.x format.
tacotron-1
A TensorFlow implementation of Google's Tacotron speech synthesis with pre-trained model (unofficial)
vnncomp2021
VNN Neural Network Verification Competition 2021