j29scott Goto Github PK

ai-feynman

alpha-beta-crown

alpha-beta-CROWN: An Efficient, Scalable and GPU Accelerated Neural Network Verifier (winner of VNN-COMP'21)

arbitraryfloats

Python Implementation of Arbitrary Floating Point Numbers

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

clustering

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.

dnnv

A Framework for Deep Neural Network Verification

ece208

Git repo for ECE208

eran

ETH Robustness Analyzer for Deep Neural Networks

exurb1a-27

A script that simulates the graphical effects from Exurb1a's video: 27 https://www.youtube.com/watch?v=dLRLYPiaAoA

federicoaureliano.github.io

floatfolio

floatfuzz

Fuzzer and generator for floating-point problems in SMT-LIB 2.x format.

func_timeout

Python module which allows you to specify timeouts when calling any existing function, and support for stoppable threads

gcn

Implementation of Graph Convolutional Networks in TensorFlow

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.

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

lgml-public

marabou

minimal

Minimal is a Jekyll theme for GitHub Pages

models

Models and examples built with TensorFlow

neurocore-public

NeuroCore: Guiding CDCL with Unsat-Core Predictions

nplib

A library of NP problem encodings for SMT solvers.

onnx

Open standard for machine learning interoperability

pysr

Simple, fast, and parallelized symbolic regression in Python/Julia via regularized evolution and simulated annealing