VeryMath
Popular repositories Loading
-
-
-
AI4Math-Lean-Agents
AI4Math-Lean-Agents PublicAI4Math skills and workflows for Lean 4 formalization, proof repair, and machine-checked mathematics.
Python 7
-
AI4Math-Auto-Research
AI4Math-Auto-Research PublicAI4Math skills for automatic research workflows, problem discovery, and proof-blueprint review.
-
co-mathematician
co-mathematician PublicCo-mathematician project for collaborative AI-assisted mathematical research.
-
AI4Math-Optimization
AI4Math-Optimization PublicAI4Math skills for optimization modeling, solver routing, convex quadratic programming with OSQP, and manifold-constrained optimization with CDOpt.
Python 5
Repositories
- AI4Math-Lean-Agents Public
AI4Math skills and workflows for Lean 4 formalization, proof repair, and machine-checked mathematics.
- AI4Math-Auto-Research Public
AI4Math skills for automatic research workflows, problem discovery, and proof-blueprint review.
- AI4Math-Writing Public
AI4Math skills for source-grounded mathematical paper writing, proof-obligation review, and submission-ready LaTeX workflows.
- AI4Math-Optimization Public
AI4Math skills for optimization modeling, solver routing, convex quadratic programming with OSQP, and manifold-constrained optimization with CDOpt.
- AI4Math-Paper-Reading Public
AI4Math skills for structured math-paper reading, theorem dependency analysis, and paper-to-skill extraction.
- 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-Computational-Mathematics Public
AI4Math skills for computational mathematics, invariant computation, and scientific-code reproduction.
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…