CUDABeaver

LLM应对CUDA调试和抽象推理，带来新基准和方法

两篇新研究论文探讨了大型语言模型（LLM）的高级调试和推理技术。第一篇论文介绍了CUDABeaver，这是一个旨在评估基于LLM的CUDA代码调试的基准，强调了修复过程中性能保持的挑战。第二篇论文提出了基于诱导的程序化改进（ABPR），这是一种结合LLM和Prolog进行算法调试的神经符号方法，在ARC-AGI-2等抽象推理任务上展示了显著的改进。