Pinned Loading

1. adaptive_admm adaptive_admm Public

   Lean 1 1

2. VeryMath/skill-copt-linear-program VeryMath/skill-copt-linear-program Public

   copt-linear-program Skill

   Python

3. pdf-to-markdown-converter pdf-to-markdown-converter Public

   Codex skill for converting local PDF papers to Markdown through MinerU.

   Python

4. paper-to-skill-extractor paper-to-skill-extractor Public

   Codex skill for extracting reusable mathematical research skills from papers.

5. ai4math-paper-skills ai4math-paper-skills Public

   AI4Math auto research 的论文 Skill 子模块

   Python

6. no-end-for-learning no-end-for-learning Public

   柯楠的学习笔记

   TeX 1