VeryMath

Popular repositories Loading

1. verymath.github.io verymath.github.io Public

   The website page for introducing VeryMath

   Python 11

2. AI4Math-Sagemath-skill AI4Math-Sagemath-skill Public

   Teach LLM-agents to use SageMath.

   Python 8

3. AI4Math-Lean-Agents AI4Math-Lean-Agents Public

   AI4Math skills and workflows for Lean 4 formalization, proof repair, and machine-checked mathematics.

   Python 7

4. AI4Math-Auto-Research AI4Math-Auto-Research Public

   AI4Math skills for automatic research workflows, problem discovery, and proof-blueprint review.

   Python 6 1

5. co-mathematician co-mathematician Public

   Co-mathematician project for collaborative AI-assisted mathematical research.

   Python 6 1

6. AI4Math-Writing AI4Math-Writing Public

   AI4Math skills for source-grounded mathematical paper writing, proof-obligation review, and submission-ready LaTeX workflows.

   TeX 5