Pinned Repositories
adult-dataset
PyTorch dataset wrapper for the Adult (Census Income) dataset
eran
A modification of the ETH Robustness Analyzer for Deep Neural Networks
fairness-datasets
PyTorch dataset wrappers for several popular fair machine learning datasets
HorizontalCAS
swift-meta-serialization
Serialize any Codable Swift type with one extra line of code
swift-msgpack-serialization
A msgpack-java compatibel swift msgpack serialization library - msgpack.org[Swift, java compatibel]
wirvsvirus-gamification-toiletpaper-clans
The toiletpaper clans (title is work in progress :D) repository. Part of the #wirvsvirushackaton
hyperproperties-supplementary
Supplementary material for the paper "Verifying Global Neural Network Specifications using Hyperproperties"
pmx-nn-repair
Neural Network Repair applied to learned pharmacometric models
specrepair
SpecRepair is a neural network repair algorithm.
cherrywoods's Repositories
cherrywoods/swift-meta-serialization
Serialize any Codable Swift type with one extra line of code
cherrywoods/wirvsvirus-gamification-toiletpaper-clans
The toiletpaper clans (title is work in progress :D) repository. Part of the #wirvsvirushackaton
cherrywoods/swift-msgpack-serialization
A msgpack-java compatibel swift msgpack serialization library - msgpack.org[Swift, java compatibel]
cherrywoods/HorizontalCAS
cherrywoods/adult-dataset
PyTorch dataset wrapper for the Adult (Census Income) dataset
cherrywoods/eran
A modification of the ETH Robustness Analyzer for Deep Neural Networks
cherrywoods/fairness-datasets
PyTorch dataset wrappers for several popular fair machine learning datasets
cherrywoods/fairsquare
cherrywoods/MessagePack.swift
It's like JSON, but fast and small…and Swift! – msgpack.org[Swift]
cherrywoods/MessagePack.swift-plus-Codable
Extends MessagePack.swift with Codable support
cherrywoods/meta-serialization-examples
Examples showing the usage of MetaSerialization
cherrywoods/nnenum
Neural Network Enumeration Tool
cherrywoods/pytorch
Tensors and Dynamic neural networks in Python with strong GPU acceleration
cherrywoods/jax_verify
Neural network verification in JAX
cherrywoods/saltyrtc-client-swift
cherrywoods/sayan-mitra-cpsbooksite
A live website for the CPS verification book
cherrywoods/scipy
SciPy library main repository
cherrywoods/swift
The Swift Programming Language
cherrywoods/swift-no-serialization
Utility framework that serializes arbitrary swift entities to Meta (see swift-meta-serialization)
cherrywoods/verifair