该研究提出了EquivaMap框架，利用大型语言模型自动检查组合优化中的等价公式，显著提升了验证的准确性和可扩展性。研究结果表明，EquivaMap在识别公式等价性方面优于现有方法，具有重要的理论和实际意义。
完成下面两步后，将自动完成登录并继续当前操作。
