Pinned Loading

1. adaptive_admm adaptive_admm Public

   formalization of adaptive admm

   Lean 1 1

2. co-mathematician co-mathematician Public

   co-mathematician workspace skill and lightweight harness

   Python 1

3. no-end-for-learning no-end-for-learning Public

   no-end-for-learning notebook

   TeX 1

4. identity-slack-admm-cycle-certificate identity-slack-admm-cycle-certificate Public

   AI-Assisted Discovery and Construction of a Counterexample to the Convergence of Three-Block ADMM with the Identity Matrix as Its Third Constraint Block

   Python 1