代码大模型 / AI 编程

Understanding Typing-Related Bugs in Solidity Compiler

理解Solidity编译器中的输入相关错误

Lantian Li, Yue Pan, Dan Wang, Jingwen Wu, Zhongxing Yu

专题命中 程序分析与验证 ：repository(abstract)；分类 cs.SE

AI总结 本文首次系统研究Solidity编译器中的输入相关错误，通过分析146个已修复错误，揭示其分布模式和特征，并总结12项核心发现。

Comments 37 pages, 8 figures

Propose, Solve, Verify: Self-Play Through Formal Verification

提出、解决、验证：通过形式验证进行自我对战

Alex Wilf, Pranjal Aggarwal, Bryan Parno, Daniel Fried, Louis-Philippe Morency, Paul Pu Liang, Sean Welleck

机构 * Carnegie Mellon University, School of Computer Science（卡内基梅隆大学计算机科学学院） ； MIT（麻省理工学院） 纠错

专题命中 程序分析与验证 ：code generation(abstract)；分类 cs.AI

AI总结 通过形式验证的自我对战框架PSV，在代码生成中显著提升了模型性能，展示了形式验证和难度感知生成对自我对战的重要性。