Popular repositories Loading

1. research-sentinel research-sentinel Public

   An autonomous, local LLM pipeline for tracking math, physics, and AI research

   Python 1

2. jingxiangma.github.io jingxiangma.github.io Public

   personal webpage

   HTML

3. diagonal-sl2-action-on-product-p1-vgit-chamber-graph diagonal-sl2-action-on-product-p1-vgit-chamber-graph Public

   VGIT chamber graph generator for the diagonal SL(2) action on (P^1)^n

   Python

4. Rethlas Rethlas Public

   Forked from frenzymath/Rethlas

   rethlas agentic workflow

   Python

5. Danus Danus Public

   Forked from frenzymath/Danus

   Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory

   Python

6. AxiomaticGW AxiomaticGW Public

   Lean 4 formalization of the algebraic foundations of axiomatic Gromov–Witten theory.

   Lean