BriefGPT - AI 论文速递 · 2025-05-20T00:00:00Z CLEVER：一个经过精心策划的形式化验证代码生成基准 💡 原文中文，约300字，阅读约需1分钟。 📝 内容提要 本文介绍了高质量基准数据集CLEVER，包含161个专注于代码生成验证的问题。CLEVER避免了测试用例监督，确保输出通过Lean类型检查器验证，揭示了程序合成和形式推理的挑战。 🏷️ 标签 CLEVER 代码生成 基准数据集 形式推理 验证 阅读原文 生成长图 分享链接 已复制链接
