functional-verification

AsmEvo 是一个用于AMD GPU内核的智能汇编级优化器，通过提出低级编辑并验证与原始二进制文件的功能等价性来提高性能，在MI308X GPU上实现了高达3.88倍的加速。

LongWebBench是一个基准测试，用于从结构和功能两个角度评估长时域网页生成，采用基于VLM的指标和DOM增强的基于代理的流程。实验表明，当前的VLM在长程连贯性和可执行交互方面存在困难。