Pinned Loading

1. HoloRecorderHoloRecorderPublic

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

   C#

2. DRL-CustomBlackJackDRL-CustomBlackJackPublic

   DQN+PPO solutions for custom black jack game

   Python

3. ZonoVerifierZonoVerifierPublic

   Scalable automated verifier for proving the robustness of neural nets.

   Python

4. SimCLR-for-cell-profilingSimCLR-for-cell-profilingPublic

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

   Jupyter Notebook 8 2

5. Resolution-RefutationResolution-RefutationPublic

   Implemention of common resolution refutation strategies

   Java

6. ColorItColorItPublic

   Colorblind assist android application

   Java 1