1 published article
形式数学
南京大学的ToMap框架通过识别分解步骤为关键瓶颈，在完整证明自动形式化方面取得了最先进的结果。采用基于Pareto引导的迭代式证明分解进化，ToMap在ProofFlowBench基准测试中联合句法-语义准确率提升了19%，同时降低了测试时成本。
2026-07-30