From LLM-Generated Conjectures to Lean Formalizations: Automated Polynomial Inequality Proving via Sum-of-Squares Certificates
从LLM生成的猜想到Lean形式化:通过求和平方证书实现自动多项式不等式证明
Ruobing Zuo, Hanrui Zhao, Gaolei He, Zhengfeng Yang, Jianlin Wang
机构
*
School of Software Engineering, East China Normal University, Shanghai, China(东华大学软件工程学院)
;
College of Computer Science and Technology, National University of Defense Technology, Changsha, China(国防科技大学计算机科学与技术学院)
;
School of Computer and Information Engineering, Henan University, Kaifeng, China(河南大学计算机与信息工程学院)
SGR: A Stepwise Reasoning Framework for LLMs with External Subgraph Generation
SGR:一种用于LLM的分步推理框架,通过外部子图生成
Xin Zhang, Yang Cao, Baoxing Wu, Kai Song, Siying Li
机构
*
School of Information Science and Engineering, Chongqing Jiaotong University(重庆交通大学信息科学与工程学院)
;
School of Computer Science and Technology, Chongqing University of Posts and Telecommunications(重庆邮电大学计算机科学与技术学院)
专题命中
推理与问题求解
:LLM(title_cn,summary_cn);large language model(abstract);language model(abstract);分类 cs.CL
机构
*
Department of Computer Science and Technology, Jilin University(吉林大学计算机科学与技术学院)
;
Department of Computer Science, National Taiwan University(国立台湾大学计算机科学系)
专题命中
推理与问题求解
:large language model(title,abstract);language model(title,abstract);prompting(abstract)
机构
*
School of Electronic and Computer Engineering, Peking University(北京大学电子与计算机工程学院)
;
School of Future Technology, South China University of Technology(华南理工大学未来技术学院)
;
School of Electronic and Information Engineering, South China University of Technology(华南理工大学电子与信息工程学院)
;
Guangdong Provincial Key Laboratory of Ultra High Definition Immersive Media Technology, Shenzhen Graduate School, Peking University(广东省超高清沉浸媒体技术重点实验室,北京大学深圳研究生院)
机构
*
MOE KLINNS Lab(MOE KLINNS实验室)
;
School of Computer Science and Technology(计算机科学与技术学院)
;
School of Cyber Science and Engineering(网络安全工程学院)
;
School of Software Engineering(软件工程学院)
;
School of Control Science and Engineering(控制科学与工程学院)
;
Shaanxi Provincial Key Laboratory of Big Data Knowledge Engineering(陕西省大数据知识工程重点实验室)
;
Laboratory for AI and New Forms of Education(人工智能与新型教育实验室)
;
Lenovo AI Technology Center, CTOO, Lenovo(联想AI技术中心,联想CTOO)
;
Sydney AI Centre, The University of Sydney(悉尼AI中心,悉尼大学)