大模型推理能力

\texttt{ReMind}: Understanding Deductive Code Reasoning in LLMs

Jun Gao, Yun Peng, Xiaoxue Ren

机构 * Zhejiang University（浙江大学） ； The Chinese University of Hong Kong（香港中文大学） 纠错

专题命中 代码与定理证明 ：reasoning(title,abstract)；分类 cs.CL

Position: Vibe Coding Needs Vibe Reasoning: Improving Vibe Coding with Formal Verification

Jacqueline Mitchell, Yasser Shaaban

机构 * University of Southern California（南加州大学） 纠错

专题命中 代码与定理证明 ：reasoning(title)；分类 cs.LG

Comments 7 pages, 3 figures, In Proceedings of the 1st ACM SIGPLAN International Workshop on Language Models and Programming Languages (LMPL'25), October 12-18, 2025, Singapore, Singapore. ACM, New York, NY, USA

Inferring multiple helper Dafny assertions with LLMs

Álvaro Silva, Alexandra Mendes, Ruben Martins

机构 * INESC TEC, Faculty of Engineering, University of Porto（葡萄牙波尔图大学工程学院INESC TEC） ； Computer Science Department of Carnegie Mellon University（卡内基梅隆大学计算机科学系） 纠错

专题命中 代码与定理证明 ：verifier(abstract)；分类 cs.AI