AkiraRust: Re-thinking LLM-aided Rust Repair Using a Feedback-guided Thinking Switch
AkiraRust:重新思考利用反馈引导的思考开关的LLM辅助Rust修复
专题命中 其他推理 :reasoning(abstract)
AI总结 AkiraRust通过反馈引导的思考开关机制,实现Rust修复的语义正确性和效率提升。
Comments 7 pages, 11 figures, accepted to DAC
AI 大模型
大模型数学、逻辑、规划、多步推理和测试时计算能力。
AkiraRust:重新思考利用反馈引导的思考开关的LLM辅助Rust修复
专题命中 其他推理 :reasoning(abstract)
AI总结 AkiraRust通过反馈引导的思考开关机制,实现Rust修复的语义正确性和效率提升。
Comments 7 pages, 11 figures, accepted to DAC