semantic-faithfulness

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

一种名为TV-Edit的新框架，结合文本指令和视觉提示实现精确图像编辑，并附带基准TV-Edit-Bench用于评估。该方法在空间控制和语义忠实度上优于现有方法。