Pinned Loading

1. HoloRecorder HoloRecorder Public

   Record and replay day-to-day instructions as holograms on Hololens 2.

   C#

2. DRL-CustomBlackJack DRL-CustomBlackJack Public

   DQN+PPO solutions for custom black jack game

   Python

3. ZonoVerifier ZonoVerifier Public

   Scalable automated verifier for proving the robustness of neural nets.

   Python

4. SimCLR-for-cell-profiling SimCLR-for-cell-profiling Public

   Codebase for: Contrastive Learning of Single-Cell Phenotypic Representations for Treatment Classification, MLMI 2021

   Jupyter Notebook 7 2

5. Resolution-Refutation Resolution-Refutation Public

   Implemention of common resolution refutation strategies

   Java

6. ColorIt ColorIt Public

   Colorblind assist android application

   Java 1