在软件开发中,代码审查仍然是一个关键但资源密集的过程,尤其是在大型工业环境中挑战。尽管大型语言模型(LLMS)显示出对自动化代码审查的希望,但现有的解决方案面临着精确和实用性的重大限制。本文介绍了Bitsai-CR,这是一个创新的框架,该框架通过将Rulechecker结合起初始问题检测和审查过滤器进行精确验证的两阶段方法来增强代码审查 ...

0 0 0 0 2025/02/04 arXiv:2501.15134v1 十门山几

在本文中,我们首先表明,即使是小型 LLM(1B-7B 参数)的光束尺寸增加也需要大量 GPU 资源消耗,导致基于 LLM 的 APR 中高达 80% 的重复崩溃是由于内存过载造成的。 。看似简单的减少内存消耗的解决方案是(1)量化LLM模型,即 ...

0 0 0 0 2024/12/11 arXiv:2410.16655v1 十门山几

多年来,错误修复和代码生成一直是软件开发的核心研究主题。最近大型语言模型的爆炸性增长彻底改变了这些领域,为这两个领域提供了极其强大的工具。在这项调查中,我们回顾了最近的 27 篇论文,并将其分为两组:一组致力于自动程序修复 (APR) 和 LLM 集成,另一组致力于使用 LLM 生成代码 ...

0 0 0 0 2024/12/11 arXiv:2411.07586v1 十门山几

来一起翻译吧!


为了您和其他读者获得更好的阅读体验,请您在阅读时勇敢地改正翻译,特别是一些显而易见的机器翻译错误。


虽然我们追求卓越,但我们并不要求翻译十全十美,因此请不要担心您翻译有误 —— 我们的服务器已经记录所有的翻译,您不必担心会因为您的失误导致无法挽回的破坏。(改编自维基百科)