最小反例修复学术写作系统

问题

论文、报告和基金申请常卡在“整体感觉不够严谨”，但修改时容易从头重写或只修表面句子。这个技能针对逻辑链漏洞：Claim 之间跳跃、结论缺少支撑、反面解释未排除、审稿意见无法收敛到具体修改点。

工作方式

它把软件验证思路迁到学术写作：

• 先锚定 Oracle，如目标期刊规范、顶会论文、评审指标；
• 用 Counterexample 找出最具体的反例；
• 通过 Shrinking 把问题压缩到一句话或一个句子；
• 只修最小反例，再做回归验证，防止旧问题复发。

流程覆盖初稿自查、投稿前审查、审稿意见修改、基金本子论证等场景，强调边写边压力测试，而不是最后一次性润色。

边界

它不处理语法、排版、翻译、统计计算和事实核查。输入需要一定长度和上下文，如章节正文、研究问题或 Thesis Statement；如果文本过短，需要先补研究问题。