Popular repositories Loading

1. LipDiff LipDiff Public

   This repo contains the code for an ICLR submission, a first-order SDP solver for the Lipschitz constant estimation of deep neural networks.

   Python 3 1

2. WALi-OpenNWA WALi-OpenNWA Public

   Forked from WaliDev/WALi-OpenNWA

   Home for the WALi weighted automaton library and OpenNWA nested-word automaton library

   C++

3. pytorch-metric-learning pytorch-metric-learning Public

   Forked from KevinMusgrave/pytorch-metric-learning

   The easiest way to use deep metric learning in your application. Modular, flexible, and extensible. Written in PyTorch.

   Python

4. GeoLIP GeoLIP Public

   This is the repo for the NeurIPS 2022 paper.

   Python

5. z1w.github.io z1w.github.io Public

   Forked from academicpages/academicpages.github.io

   Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes

   JavaScript

6. AC-Solver AC-Solver Public

   Forked from shehper/AC-Solver

   A long-horizon, sparse-reward math environment for reinforcement learning. Official code repo for "What makes Math problems hard for reinforcement learning: A case study".

   Jupyter Notebook