VeryMath
Popular repositories Loading
-
AI4Math-Paper-Reading
AI4Math-Paper-Reading PublicAI4Math skills for structured math-paper reading, theorem dependency analysis, and paper-to-skill extraction.
TeX
-
AI4Math-Computational-Mathematics
AI4Math-Computational-Mathematics PublicAI4Math skills for computational mathematics, invariant computation, and scientific-code reproduction.
Python
-
AI4Math-Optimization
AI4Math-Optimization PublicAI4Math skills for optimization modeling, solver routing, CDOpt, and manifold-constrained optimization.
Python
-
AI4Math-Lean-Agents
AI4Math-Lean-Agents PublicAI4Math skills and workflows for Lean 4 formalization, proof repair, and machine-checked mathematics.
Python
-
AI4Math-Auto-Research
AI4Math-Auto-Research PublicAI4Math skills for automatic research workflows, problem discovery, and proof-blueprint review.
Python
-
AI4Math-Evolving
AI4Math-Evolving PublicAI4Math skills for search-based experiments, OpenEvolve workflows, and iterative program improvement.
Python
Repositories
- AI4Math-Paper-Writing Public
AI4Math skills for source-grounded mathematical paper writing, proof-obligation review, and submission-ready LaTeX workflows.
VeryMath/AI4Math-Paper-Writing’s past year of commit activity - AI4Math-Lean-Agents Public
AI4Math skills and workflows for Lean 4 formalization, proof repair, and machine-checked mathematics.
VeryMath/AI4Math-Lean-Agents’s past year of commit activity - AI4Math-Evolving Public
AI4Math skills for search-based experiments, OpenEvolve workflows, and iterative program improvement.
VeryMath/AI4Math-Evolving’s past year of commit activity - co-mathematician Public
Co-mathematician project for collaborative AI-assisted mathematical research.
VeryMath/co-mathematician’s past year of commit activity - AI4Math-Auto-Research Public
AI4Math skills for automatic research workflows, problem discovery, and proof-blueprint review.
VeryMath/AI4Math-Auto-Research’s past year of commit activity - AI4Math-Computational-Mathematics Public
AI4Math skills for computational mathematics, invariant computation, and scientific-code reproduction.
VeryMath/AI4Math-Computational-Mathematics’s past year of commit activity - AI4Math-Optimization Public
AI4Math skills for optimization modeling, solver routing, CDOpt, and manifold-constrained optimization.
VeryMath/AI4Math-Optimization’s past year of commit activity - AI4Math-Paper-Reading Public
AI4Math skills for structured math-paper reading, theorem dependency analysis, and paper-to-skill extraction.
VeryMath/AI4Math-Paper-Reading’s past year of commit activity
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…