VeryMath
Popular repositories Loading
-
-
-
AI4Math-Optimization
AI4Math-Optimization PublicAI4Math skills for optimization modeling, solver routing, CDOpt, and manifold-constrained optimization.
Python 4
-
AI4Math-Lean-Agents
AI4Math-Lean-Agents PublicAI4Math skills and workflows for Lean 4 formalization, proof repair, and machine-checked mathematics.
Python 4
-
AI4Math-Paper-Reading
AI4Math-Paper-Reading PublicAI4Math skills for structured math-paper reading, theorem dependency analysis, and paper-to-skill extraction.
TeX 2
-
AI4Math-Auto-Research
AI4Math-Auto-Research PublicAI4Math skills for automatic research workflows, problem discovery, and proof-blueprint review.
Python 2
Repositories
- co-mathematician Public
Co-mathematician project for collaborative AI-assisted mathematical research.
- AI4Math-Evolving Public
AI4Math skills for search-based experiments, OpenEvolve workflows, and iterative program improvement.
- AI4Math-Lean-Agents Public
AI4Math skills and workflows for Lean 4 formalization, proof repair, and machine-checked mathematics.
- AI4Math-Optimization Public
AI4Math skills for optimization modeling, solver routing, CDOpt, and manifold-constrained optimization.
- AI4Math-Computational-Mathematics Public
AI4Math skills for computational mathematics, invariant computation, and scientific-code reproduction.
- AI4Math-Paper-Reading Public
AI4Math skills for structured math-paper reading, theorem dependency analysis, and paper-to-skill extraction.
- AI4Math-Paper-Writing Public
AI4Math skills for source-grounded mathematical paper writing, proof-obligation review, and submission-ready LaTeX workflows.
- AI4Math-Auto-Research Public
AI4Math skills for automatic research workflows, problem discovery, and proof-blueprint review.
People
This organization has no public members. You must be a member to see who’s a part of this organization.
Top languages
Loading…
Most used topics
Loading…