evaluation-matrix

本文介绍了一种信号-覆盖矩阵，它将自动形式化中的类型正确性改进分解为四个层级，揭示了LLM改进背后的机制，并表明标题指标可能掩盖实际解决了哪些错误。