VeryMath/AI4Math-Paper-Reading

AI4Math skills for structured math-paper reading, theorem dependency analysis, and paper-to-skill extraction.

语言：TeX · GitHub 星标：6 · Fork：0

话题：ai4math · coding-agents · mathematics · paper-reading · paper-to-skill · skills

在 GitHub 上查看原仓库