Structured catalog & community verification tracker for openai/math — 722 AI-generated math manuscripts parsed to JSON/CSV + Lean formalization & community verification status. 722 篇 AI 数学手稿的结构化目录与社区验证追踪
TeX Updated about 1 month ago 1 commits
synth-dev|Mirror: zjukop3/openai-math-tracker (⭐0)
about 1 month agoAbout
Structured catalog & community verification tracker for openai/math — 722 AI-generated math manuscripts parsed to JSON/CSV + Lean formalization & community verification status. 722 篇 AI 数学手稿的结构化目录与社区验证追踪
Readme