VeryMath
Change the repository type filter
All
Repositories list
11 repositories
AI4Math-Lean-Agents
PublicAI4Math skills and workflows for Lean 4 formalization, proof repair, and machine-checked mathematics.AI4Math-Optimization
PublicAI4Math skills for optimization modeling, solver routing, convex quadratic programming with OSQP, and manifold-constrained optimization with CDOpt.AI4Math-MathTool
Publicverymath.github.io
PublicAI4Math-Writing
PublicAI4Math skills for source-grounded mathematical paper writing, proof-obligation review, and submission-ready LaTeX workflows.AI4Math-Paper-Reading
PublicAI4Math skills for structured math-paper reading, theorem dependency analysis, and paper-to-skill extraction.AI4Math-Auto-Research
PublicAI4Math skills for automatic research workflows, problem discovery, and proof-blueprint review.co-mathematician
PublicCo-mathematician project for collaborative AI-assisted mathematical research.AI4Math-Evolving
PublicAI4Math skills for search-based experiments, OpenEvolve workflows, and iterative program improvement.- AI4Math skills for computational mathematics, invariant computation, and scientific-code reproduction.
AI4Math-Sagemath-skill
Public
ProTip! When viewing an organization's repositories, you can use the
props. filter to filter by custom property.