实体 CodeNova

CodeNova

PulseAugur coverage of CodeNova — every cluster mentioning CodeNova across labs, papers, and developer communities, ranked by signal.

总计 · 30天

1

90 天内 1

发布 · 30天

0

90 天内 0

论文 · 30天

1

90 天内 1

层级分布 · 90 天

主题

情绪 · 30 天

1 天有情绪数据

最近 · 第 1/1 页 · 共 1 条

TOOL · CL_273306 · Oct 1 · 04:00

新基准 VeriCodeBench 测试 LLM 的自规约可验证代码生成能力

研究人员推出了 VeriCodeBench，这是一个旨在评估大型语言模型生成功能性代码和形式可验证代码能力的新基准。与之前的基准不同，VeriCodeBench 要求 LLM 在没有外部指导的情况下生成自己的规约和代码，涵盖 C、Java、Rust 和 Python 中的实际软件开发任务。该研究还提出了 CodeNova，一个通过明确需求和使用验证器反馈进行代码修复来提高 LLM 性能的系统。实验表明，虽然自生成规约是一个瓶颈，但 C…