TrustGeoGen: A Scalable and Formally Verified Data Engine for Reliable Multi-modal Geometric Problem Solving
原文英文，约100词，阅读约需1分钟。
📝
内容提要
本研究提出了TrustGeoGen，一个可扩展的正式验证数据引擎，旨在解决几何问题求解中的不足。该引擎通过多模态对齐生成和形式验证，显著提高了模型的逻辑一致性和泛化能力。
🏷️
