GeoReform：根据失败轨迹优化几何关系的形式化
GeoReform 的摘要指出，把图形关系转成文字能修复一部分错误，也可能引入新错误；问题不只是抽取数量，还包括指代、分组和目标组织。研究用失败轨迹改进形式化策略，适合提醒读者检查结构化中间结果是否真正可用。
研究作者 · arXiv原始发布
为什么值得留
验收图文转写时同时检查遗漏、冗余和对象指代。
可以从这里开始
为一幅几何图写关系表，再逐项检查每个名称指向谁。
阅读时留意
仅读预印本摘要，未复现几何题结果，不保证推广到一般推理。
OnBalls 导读整理于 2026.10.15。已读论文第一版摘要；未审全文、代码、数据、图表或复现实验。