software-world-models

本文提出评估编程大语言模型对软件执行的理解，超越控制流，包括预测内存使用、运行时间和分析器输出，发现所有测试模型表现不佳，表明缺乏对软件世界模型的深入理解。