Pinned Loading

1. OPTAMI/OPTAMI OPTAMI/OPTAMI Public

   This package is dedicated to high-order optimization methods. All the methods can be used similarly to standard PyTorch optimizers.

   Python 32 8

2. PolynomialRealizationsProgram PolynomialRealizationsProgram Public

   Lean proofs for "... Methods under Hessian Variation" papers

   Lean

3. Sampling-from-homotopy-groups-of-spheres Sampling-from-homotopy-groups-of-spheres Public

   Sampling from π_n(S^2). Application of optimization and machine learning methods to problems of algebraic topology

   Jupyter Notebook 6 1

4. highlight highlight Public

   HighLight – platform for teamworking on translations of medical documents

   PHP 3 1

5. Wasserstein-distance-calculation Wasserstein-distance-calculation Public

   Optimal Transport and Optimization related experiments.

   Jupyter Notebook 10 3

6. Lambda-algebra-tools Lambda-algebra-tools Public

   This repository provides an experimental Haskell implementation of the mod-p Lambda algebra and related constructions in algebraic topology.

   Haskell