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 13 days ago 1 commits
synth-dev|Mirror: zjukop3/openai-math-tracker (⭐0)
13 days 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