大模型推理能力

APOLLO: Automated LLM and Lean Collaboration for Advanced Formal Reasoning

Azim Ospanov, Farzan Farnia, Roozbeh Yousefzadeh

机构 * Huawei Hong Kong Research Center（华为香港研究中心） ； Department of Computer Science & Engineering, The Chinese University of Hong Kong（香港中文大学计算机科学与工程系） 纠错

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

Open the Oyster: Empirical Evaluation and Improvement of Code Reasoning Confidence in LLMs

Shufan Wang, Xing Hu, Junkai Chen, Zhiyuan Pan, Xin Xia

机构 * Singapore Management University（新加坡国立管理学院） 纠错

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

Comments 13 pages, 4 figures

A Survey on LLM Mid-Training

Chengying Tu, Xuemiao Zhang, Rongxiang Weng, Rumei Li, Chen Zhang, Yang Bai, Hongfei Yan, Jingang Wang, Xunliang Cai

机构 * Peking University（北京大学） ； Meituan（美团） 纠错

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

AndroByte: LLM-Driven Privacy Analysis through Bytecode Summarization and Dynamic Dataflow Call Graph Generation

Mst Eshita Khatun, Lamine Noureddine, Zhiyong Sui, Aisha Ali-Gombe

专题命中 代码与定理证明 ：reasoning(abstract)

Comments Accepted at the Annual Computer Security Applications Conference (ACSAC) 2025