Popular repositories Loading

1. Quantum-Algorithms-for-IPR-estimation Quantum-Algorithms-for-IPR-estimation Public

   Jupyter Notebook 3

2. QSF QSF Public

   Source code of Sample-Efficient Estimation of Nonlinear Quantum State Functions

3. Auto-claude-code-research-in-sleep Auto-claude-code-research-in-sleep Public

   Forked from wanshuiyin/Auto-claude-code-research-in-sleep

   Claude Code skills for autonomous ML research: cross-model review loops via Codex MCP

4. AgtXIv AgtXIv Public

   Math-first scientific claim DAG, Lean verification artifacts, and MathContract Registry demo

   TeX

5. physlib physlib Public

   Forked from leanprover-community/physlib

   A project to digitalise results from physics into Lean.

   Lean