本研究提出了TrustGeoGen，一个可扩展的正式验证数据引擎，旨在解决几何问题求解中的不足。该引擎通过多模态对齐生成和形式验证，显著提高了模型的逻辑一致性和泛化能力。
完成下面两步后，将自动完成登录并继续当前操作。
