大模型推理能力

SkyMath: Technical Report

Liu Yang, Haihua Yang, Wenjun Cheng, Lei Lin, Chenxia Li, Yifu Chen, Lunan Liu, Jianfei Pan, Tianwen Wei, Biye Li, Liang Zhao, Lijie Wang, Bo Zhu, Guoliang Li, Xuejie Wu, Xilin Luo, Rui Hu

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

Batch Prompting: Efficient Inference with Large Language Model APIs

Zhoujun Cheng, Jungo Kasai, Tao Yu

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

Comments EMNLP 2023 Industry Track

Can Large Language Models Explain Themselves? A Study of LLM-Generated Self-Explanations

Shiyuan Huang, Siddarth Mamidanna, Shreedhar Jangam, Yilun Zhou, Leilani H. Gilpin

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

Improving Length-Generalization in Transformers via Task Hinting

Pranjal Awasthi, Anupam Gupta

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

Reliable Natural Language Understanding with Large Language Models and Answer Set Programming

Abhiramon Rajasekharan, Yankai Zeng, Parth Padalkar, Gopal Gupta

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

Comments In Proceedings ICLP 2023, arXiv:2308.14898

Journal ref EPTCS 385, 2023, pp. 274-287

Diagnosing Infeasible Optimization Problems Using Large Language Models

Hao Chen, Gonzalo E. Constante-Flores, Can Li

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

FacTool: Factuality Detection in Generative AI -- A Tool Augmented Framework for Multi-Task and Multi-Domain Scenarios

I-Chun Chern, Steffi Chern, Shiqi Chen, Weizhe Yuan, Kehua Feng, Chunting Zhou, Junxian He, Graham Neubig, Pengfei Liu

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

DiversiGATE: A Comprehensive Framework for Reliable Large Language Models

Shima Imani, Ali Beyram, Harsh Shrivastava

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

Math Word Problem Solving by Generating Linguistic Variants of Problem Statements

Syed Rifat Raiyan, Md. Nafis Faiyaz, Shah Md. Jawad Kabir, Mohsinul Kabir, Hasan Mahmud, Md Kamrul Hasan

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

Comments Accepted in Proceedings of the 61st Annual Meeting of the Association for Computational Linguistics: Student Research Workshop (ACL-SRW 2023), 17 pages, 2 figures, 7 tables

Large Language Models Can Be Easily Distracted by Irrelevant Context

Freda Shi, Xinyun Chen, Kanishka Misra, Nathan Scales, David Dohan, Ed Chi, Nathanael Schärli, Denny Zhou

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

Comments Published in ICML 2023

Is ChatGPT a Good Teacher Coach? Measuring Zero-Shot Performance For Scoring and Providing Actionable Insights on Classroom Instruction

Rose E. Wang, Dorottya Demszky

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

Comments In the Proceedings of Innovative Use of NLP for Building Educational Applications 2023; The code and model outputs are open-sourced here: https://github.com/rosewang2008/zero-shot-teacher-feedback

Teaching Small Language Models to Reason

Lucie Charlotte Magister, Jonathan Mallinson, Jakub Adamek, Eric Malmi, Aliaksei Severyn

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

Gorilla: Large Language Model Connected with Massive APIs

Shishir G. Patil, Tianjun Zhang, Xin Wang, Joseph E. Gonzalez

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

Solving Math Word Problems by Combining Language Models With Symbolic Solvers

Joy He-Yueya, Gabriel Poesia, Rose E. Wang, Noah D. Goodman

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

Mind meets machine: Unravelling GPT-4's cognitive psychology

Sifatkaur Dhingra, Manmeet Singh, Vaisakh SB, Neetiraj Malviya, Sukhpal Singh Gill

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

How well do Large Language Models perform in Arithmetic tasks?

Zheng Yuan, Hongyi Yuan, Chuanqi Tan, Wei Wang, Songfang Huang

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

Behavior Cloned Transformers are Neurosymbolic Reasoners

Ruoyao Wang, Peter Jansen, Marc-Alexandre Côté, Prithviraj Ammanabrolu

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

Comments Accepted to EACL 2023

Automatic Generation of Socratic Subquestions for Teaching Math Word Problems

Kumar Shridhar, Jakub Macina, Mennatallah El-Assady, Tanmay Sinha, Manu Kapur, Mrinmaya Sachan

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

Comments Kumar Shridhar and Jakub Macina contributed equally to this work. Accepted at the 2022 Conference on Empirical Methods in Natural Language Processing (EMNLP 2022). Code available: https://github.com/eth-nlped/scaffolding-generation

Composing Ensembles of Pre-trained Models via Iterative Consensus

Shuang Li, Yilun Du, Joshua B. Tenenbaum, Antonio Torralba, Igor Mordatch

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

A Neural Network Solves, Explains, and Generates University Math Problems by Program Synthesis and Few-Shot Learning at Human Level

Iddo Drori, Sarah Zhang, Reece Shuttleworth, Leonard Tang, Albert Lu, Elizabeth Ke, Kevin Liu, Linda Chen, Sunny Tran, Newman Cheng, Roman Wang, Nikhil Singh, Taylor L. Patti, Jayson Lynch, Avi Shporer, Nakul Verma, Eugene Wu, Gilbert Strang

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

Comments 181 pages, 8 figures, 280 tables

TALM: Tool Augmented Language Models

Aaron Parisi, Yao Zhao, Noah Fiedel

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

Facilitating automated conversion of scientific knowledge into scientific simulation models with the Machine Assisted Generation, Calibration, and Comparison (MAGCC) Framework

Chase Cockrell, Scott Christley, Gary An

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

Comments 20 Pages, 8 Figures, 5 Tables

Tractable Boolean and Arithmetic Circuits

Adnan Darwiche

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

Comments An earlier version of this article appeared in the following edited book. Pascal Hitzler and Md Kamruzzaman Sarker, editors. Neuro-Symbolic Artificial Intelligence: The State of the Art, volume 342 of Frontiers in Artificial Intelligence and Applications. IOS Press, 2021

Scaling Language Models: Methods, Analysis & Insights from Training Gopher

Jack W. Rae, Sebastian Borgeaud, Trevor Cai, Katie Millican, Jordan Hoffmann, Francis Song, John Aslanides, Sarah Henderson, Roman Ring, Susannah Young, Eliza Rutherford, Tom Hennigan, Jacob Menick, Albin Cassirer, Richard Powell, George van den Driessche, Lisa Anne Hendricks, Maribeth Rauh, Po-Sen Huang, Amelia Glaese, Johannes Welbl, Sumanth Dathathri, Saffron Huang, Jonathan Uesato, John Mellor, Irina Higgins, Antonia Creswell, Nat McAleese, Amy Wu, Erich Elsen, Siddhant Jayakumar, Elena Buchatskaya, David Budden, Esme Sutherland, Karen Simonyan, Michela Paganini, Laurent Sifre, Lena Martens, Xiang Lorraine Li, Adhiguna Kuncoro, Aida Nematzadeh, Elena Gribovskaya, Domenic Donato, Angeliki Lazaridou, Arthur Mensch, Jean-Baptiste Lespiau, Maria Tsimpoukelli, Nikolai Grigorev, Doug Fritz, Thibault Sottiaux, Mantas Pajarskas, Toby Pohlen, Zhitao Gong, Daniel Toyama, Cyprien de Masson d'Autume, Yujia Li, Tayfun Terzi, Vladimir Mikulik, Igor Babuschkin, Aidan Clark, Diego de Las Casas, Aurelia Guy, Chris Jones, James Bradbury, Matthew Johnson, Blake Hechtman, Laura Weidinger, Iason Gabriel, William Isaac, Ed Lockhart, Simon Osindero, Laura Rimell, Chris Dyer, Oriol Vinyals, Kareem Ayoub, Jeff Stanway, Lorrayne Bennett, Demis Hassabis, Koray Kavukcuoglu, Geoffrey Irving

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

Comments 120 pages

Quantum Mathematics in Artificial Intelligence

Dominic Widdows, Kirsty Kitto, Trevor Cohen

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

Comments Adding journal reference, recommended by JAIR editors upon publication

Journal ref Journal of Artificial Intelligence Research 72 (2021) 1307-1341

NumGPT: Improving Numeracy Ability of Generative Pre-trained Models

Zhihua Jin, Xin Jiang, Xingbo Wang, Qun Liu, Yong Wang, Xiaozhe Ren, Huamin Qu

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

Comments 8 pages, 3 figures

Mathematical Word Problem Generation from Commonsense Knowledge Graph and Equations

Tianqiao Liu, Qiang Fang, Wenbiao Ding, Hang Li, Zhongqin Wu, Zitao Liu

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

Comments EMNLP'21: The 2021 Conference on Empirical Methods in Natural Language Processing, 2021

What they do when in doubt: a study of inductive biases in seq2seq learners

Eugene Kharitonov, Rahma Chaabouni

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

Semiring Programming: A Declarative Framework for Generalized Sum Product Problems

Vaishak Belle, Luc De Raedt

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

Comments In AAAI Workshop: Statistical Relational Artificial Intelligence, 2020

Maintaining prediction quality under the condition of a growing knowledge space

Christoph Jahnz

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

Comments 8 pages, 3 figures