tamnd/bourbaki-solver

• 类型：github
• 标识：tamnd/bourbaki-solver
• 链接：https://github.com/tamnd/bourbaki-solver
• 主题：agent, llm-infra, engineering
• 主分类：engineering
• 形态：tool
• 分类：academic-writing
• Stars：0
• 周增：+0
• 语言：Go
• 许可：MIT
• 最近提交：2026-08-25
• 简介：Go toolchain that turns Bourbaki PDFs into a tagged Markdown corpus, translates it, and solves the exercises
• 上次采集：2026-08-25
• 首次采集：2026-08-11
• 学术状态：accepted
• 学术相关度：80
• 学术判定：deterministic
• 学术证据：anchor:latex; query:academic-latex; task:translation-ocr:ocr
• 学术复核时间：2026-08-25T13:30:02+08:00
• 待LLM分类：否
• 成熟度：experimental
• 场景：PDF解析、数学题求解、翻译
• 学术阶段：reading
• 学术主任务：translation-ocr
• 学术方向：read
• 学术用途：reading-notes
• 能力分面：pdf, ocr, translation, latex
• 简介中文：Go 工具链：将 Bourbaki PDF 转换为带标签的 Markdown 语料，并完成翻译与习题求解
• 来源文件：
• [GitHub Search]