大模型推理能力

Systematic Optimization of Open Source Large Language Models for Mathematical Reasoning

Pranav Pawar, Dhwaj Jain, Varun Gupta, Kaustav Dedhia, Dashrath Kale, Sudhir Dhekane

机构 * Dwarkadas J. Sanghvi College of Engineering（达沃卡斯J·桑格维工程学院） 纠错

专题命中 数学推理 ：reasoning(title,abstract)；planning(abstract)；分类 cs.AI、cs.LG

RIMO: An Easy-to-Evaluate, Hard-to-Solve Olympiad Benchmark for Advanced Mathematical Reasoning

Ziye Chen, Chengwei Qin, Yao Shu

机构 * Artificial Intelligence Thrust, Information Hub, Hong Kong University of Science and Technology (Guangzhou), Guangzhou, China（人工智能 thrust，信息中心，香港科学与技术大学（广州），广州，中国） 纠错

专题命中 数学推理 ：reasoning(title,abstract)；分类 cs.AI

How Do Humans Write Code? Large Models Do It the Same Way Too

Long Li, Xuzheng He, Haozhe Wang, Linlin Wang, Liang He

专题命中 数学推理 ：reasoning(abstract)；chain-of-thought(abstract)；CoT(abstract)；分类 cs.CL、cs.AI

Specification-Guided Repair of Arithmetic Errors in Dafny Programs using LLMs

Valentina Wu, Alexandra Mendes, Alexandre Abreu

专题命中 数学推理 ：reasoning(abstract)