基于AI的公式识别、分析与管理软件
https://github.com/Ryson-32/AI-Formula-Scanner
一款AI公式识别、分析与管理工具。一键转为可编辑的 LaTeX,并分析变量含义与核查潜在错误。
解决痛点:解决“公式图片难以快速准确转 LaTeX”“识别后缺少校验与整理”“公式中不认识的变量需要繁琐查询”的问题。
主要技术:Tauri + Rust(截图、系统集成)/ SvelteKit + TypeScript(前端)。
核心功能:三阶段公式识别:LaTeX 提取 → 智能分析(标题/摘要/变量/术语/建议)→ 核查与置信度。
适用场景:科研写作与论文公式录入、教材与讲义排版、课堂/会议拍照后快速转录、学习笔记整理、技术博客与知识库维护。
一次识别调用三次LLM:
- 第1次(LaTeX 提取):仅从图片提取 LaTeX 文本。
- 第2次(智能分析):与第一次并发。基于图片生成标题、简介、变量表、术语表与建议。
- 第3次(核查与置信度):在第一次调用返回LaTeX后开始。对比“提取到的 LaTeX + 原图”,产出状态(ok/warning/error)、问题列表、覆盖率与 0–100 的置信度。
建议的模型选择与耗时:
- Gemini-2.5-flash:综合准确率与速度较优。常见公式约 10s 左右,复杂场景约 20s。
- Gemini-2.5-flash-lite:用于轻量场景,在复杂公式上准确性略差。
- Gemini-2.5-pro:准确率接近100%,但复杂公式速度很慢。
支持区域截图(默认快捷键 `Ctrl + Shift + A`)或导入本地图片

智能分析生成变量表、术语表与建议



识别公式管理


API调用可使用轮询工具

可自定义三次调用的提示词
