arXiv cs.SE· Xiaohong Chen, David Bucur, Chenglong Ma, Yi Zhang, Lingming Zhang, Sriram Vishwanath, Grigore Rosu·· 4 小时前AI 评分26
新基准评估真实程序中的精确输出与检查点状态预测
Evaluating Exact Output and Checkpoint-State Prediction in Real Programs
AI 导读
研究者提出一个仅凭源码和输入预测程序最终输出与检查点状态的基准，包含来自 371 个 Python 和 C++ 程序的 400 个案例，在四个模型系列的七种设置下评估。
来源：arXiv cs.SE · arxiv.org