Generate & Rank: A Multi-task Framework for Math Word Problems

7 September 2021

Jianhao Shen

Yichun Yin

Lin Li

Lifeng Shang

Xin Jiang

Ming Zhang

Qun Liu

AIMat

ArXiv (abs)PDF HTML

Papers citing "Generate & Rank: A Multi-task Framework for Math Word Problems"

50 / 81 papers shown

Title
Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal Verification Chengwu Liu Ye Yuan Yichun Yin Yan Xu Xin Xu Zaoyu Chen Yasheng Wang Lifeng Shang Qun Liu Ming Zhang LRM 139 0 0 05 Jun 2025
Prompt Candidates, then Distill: A Teacher-Student Framework for LLM-driven Data Annotation Mingxuan Xia Haobo Wang Yixuan Li Zewei Yu Jindong Wang Junbo Zhao Runze Wu 88 1 0 04 Jun 2025
BacktrackAgent: Enhancing GUI Agent with Error Detection and Backtracking Mechanism Qinzhuo Wu Pengzhi Gao Wei Liu Jian Luan LLMAG 49 0 0 27 May 2025
MathEDU: Towards Adaptive Feedback for Student Mathematical Problem-Solving Wei-Ling Hsu Yu-Chien Tang An-Zi Yen 254 0 0 23 May 2025
A Survey on Mathematical Reasoning and Optimization with Large Language Models Ali Forootani OffRL LRM AI4CE 118 1 0 22 Mar 2025
A Diversity-Enhanced Knowledge Distillation Model for Practical Math Word Problem Solving Yi Zhang Guangyou Zhou Zhiwen Xie Jinjin Ma Jimmy Xiangji Huang AIMat 70 4 0 08 Jan 2025
Mathematical Language Models: A Survey Wen Liu Hanglei Hu Jie Zhou Yuyang Ding Junsong Li ... Mengliang He Qin Chen Bo Jiang Aimin Zhou Liang He LRM 235 14 0 03 Jan 2025
Not All Votes Count! Programs as Verifiers Improve Self-Consistency of Language Models for Math Reasoning Vernon Y.H. Toh Deepanway Ghosal Soujanya Poria LRM 94 3 0 16 Oct 2024
Step-by-Step Reasoning for Math Problems via Twisted Sequential Monte Carlo Shengyu Feng Xiang Kong Shuang Ma Aonan Zhang Dong Yin Chong-Jun Wang Ruoming Pang Yiming Yang LRM 109 2 0 02 Oct 2024
RAGent: Retrieval-based Access Control Policy Generation Sakuna Jayasundara N. Arachchilage Giovanni Russello 86 3 0 08 Sep 2024
LessonPlanner: Assisting Novice Teachers to Prepare Pedagogy-Driven Lesson Plans with Large Language Models Haoxiang Fan Guanzheng Chen Xingbo Wang Zhenhui Peng AI4Ed 61 5 0 02 Aug 2024
Segment-Based Interactive Machine Translation for Pre-trained Models Ángel Navarro Francisco Casacuberta VLM 80 1 0 09 Jul 2024
SALVe: Semantic Alignment Verification for Floorplan Reconstruction from Sparse Panoramas John Lambert Yuguang Li Ivaylo Boyadzhiev L. Wixson Manjunath Narayana Will Hutchcroft James Hays F. Dellaert S. B. Kang SLR 67 6 0 27 Jun 2024
When Can LLMs Actually Correct Their Own Mistakes? A Critical Survey of Self-Correction of LLMs Ryo Kamoi Yusen Zhang Nan Zhang Jiawei Han Rui Zhang LRM 171 85 0 03 Jun 2024
Improving Language Model Reasoning with Self-motivated Learning Yunlong Feng Yang Xu Libo Qin Yasheng Wang Wanxiang Che LRM ReLM 73 7 0 10 Apr 2024
From Large to Tiny: Distilling and Refining Mathematical Expertise for Math Word Problems with Weakly Supervision Qingwen Lin Boyan Xu Zhengting Huang Ruichu Cai 95 3 0 21 Mar 2024
Training Large Language Models for Reasoning through Reverse Curriculum Reinforcement Learning Zhiheng Xi Wenxiang Chen Boyang Hong Senjie Jin Rui Zheng ... Xinbo Zhang Peng Sun Tao Gui Qi Zhang Xuanjing Huang LRM 61 28 0 08 Feb 2024
Understanding Large-Language Model (LLM)-powered Human-Robot Interaction Callie Y. Kim Christine P. Lee Bilge Mutlu LM&Ro 95 81 0 06 Jan 2024
A Survey of Reasoning with Foundation Models Jiankai Sun Chuanyang Zheng Enze Xie Zhengying Liu Ruihang Chu ... Xipeng Qiu Yi-Chen Guo Hui Xiong Qun Liu Zhenguo Li ReLM LRM AI4CE 205 85 0 17 Dec 2023
Get an A in Math: Progressive Rectification Prompting Zhenyu Wu Meng Jiang Chao Shen KELM LRM 68 10 0 11 Dec 2023
Frugal LMs Trained to Invoke Symbolic Solvers Achieve Parameter-Efficient Arithmetic Reasoning Subhabrata Dutta Joykirat Singh Ishan Pandey Sunny Manchanda Soumen Chakrabarti Tanmoy Chakraborty ReLM LRM 84 4 0 09 Dec 2023
JarviX: A LLM No code Platform for Tabular Data Analysis and Optimization Shang-Ching Liu ShengKun Wang Wenqi Lin Chung-Wei Hsiung Yi-Chen Hsieh Yu-Ping Cheng Sian-Hong Luo Tsungyao Chang Jianwei Zhang 73 18 0 03 Dec 2023
Universal Self-Consistency for Large Language Model Generation Xinyun Chen Renat Aksitov Uri Alon Jie Jessie Ren Kefan Xiao Pengcheng Yin Sushant Prakash Charles Sutton Xuezhi Wang Denny Zhou LRM 93 75 0 29 Nov 2023
OVM, Outcome-supervised Value Models for Planning in Mathematical Reasoning Fei Yu Anningzhe Gao Benyou Wang OffRL LRM 72 52 0 16 Nov 2023
Mind's Mirror: Distilling Self-Evaluation Capability and Comprehensive Thinking from Large Language Models Weize Liu Guocong Li Kai Zhang Bang Du Qiyuan Chen Xuming Hu Hongxia Xu Jintai Chen Jian Wu LRM 59 6 0 15 Nov 2023
ATHENA: Mathematical Reasoning with Thought Expansion JB. Kim Hazel Kim Joonghyuk Hahn Yo-Sub Han ReLM LRM AIMat 116 7 0 02 Nov 2023
Three Questions Concerning the Use of Large Language Models to Facilitate Mathematics Learning An-Zi Yen Wei-Ling Hsu LRM AI4Ed 42 10 0 20 Oct 2023
TRIGO: Benchmarking Formal Mathematical Proof Reduction for Generative Language Models Jing Xiong Jianhao Shen Ye Yuan Haiming Wang Yichun Yin ... Yinya Huang Chuanyang Zheng Xiaodan Liang Ming Zhang Qun Liu AIMat LRM 54 20 0 16 Oct 2023
An Expression Tree Decoding Strategy for Mathematical Equation Generation Wenqi Zhang Yongliang Shen Qingpeng Nong Zeqi Tan Zeqi Tan Yanna Ma Weiming Lu AIMat 86 6 0 14 Oct 2023
The Consensus Game: Language Model Generation via Equilibrium Search Athul Paul Jacob Songlin Yang Gabriele Farina Jacob Andreas 93 23 0 13 Oct 2023
Guiding Language Model Math Reasoning with Planning Tokens Xinyi Wang Lucas Caccia O. Ostapenko Xingdi Yuan William Yang Wang Alessandro Sordoni LRM 80 2 0 09 Oct 2023
Talk like a Graph: Encoding Graphs for Large Language Models Bahare Fatemi Jonathan J. Halcrow Bryan Perozzi AI4CE 96 113 0 06 Oct 2023
Fill in the Blank: Exploring and Enhancing LLM Capabilities for Backward Reasoning in Math Word Problems Aniruddha Deb Neeva Oza Sarthak Singla Dinesh Khandelwal Dinesh Garg Parag Singla 48 8 0 03 Oct 2023
Adaptive-Solver Framework for Dynamic Strategy Selection in Large Language Model Reasoning Jianpeng Zhou Wanjun Zhong Yanlin Wang Jiahai Wang LRM 127 8 0 01 Oct 2023
FIMO: A Challenge Formal Dataset for Automated Theorem Proving Chengwu Liu Jianhao Shen Huajian Xin Zhengying Liu Ye Yuan ... Chuanyang Zheng Yichun Yin Lin Li Ming Zhang Qun Liu AIMat AI4CE 107 37 0 08 Sep 2023
WizardMath: Empowering Mathematical Reasoning for Large Language Models via Reinforced Evol-Instruct Haipeng Luo Qingfeng Sun Can Xu Pu Zhao Jian-Guang Lou ... Xiubo Geng Qingwei Lin Shifeng Chen Yansong Tang Dongmei Zhang LRM OSLM 299 468 0 18 Aug 2023
NEOLAF, an LLM-powered neural-symbolic cognitive architecture Richard Tong Cassie Chen Cao Timothy Xueqian Lee Guodong Zhao Ray Wan ... Xiangen Hu Robin Schmucker Jinsheng Pan Julian Quevedo Yu Lu 41 1 0 08 Aug 2023
A Symbolic Character-Aware Model for Solving Geometry Problems Maizhen Ning Qiufeng Wang Kaizhu Huang Xiaowei Huang 77 18 0 05 Aug 2023
Math Word Problem Solving by Generating Linguistic Variants of Problem Statements Syed Rifat Raiyan Md. Nafis Faiyaz S. Kabir Mohsinul Kabir H. Mahmud Md. Kamrul Hasan 78 14 0 24 Jun 2023
Deductive Verification of Chain-of-Thought Reasoning Z. Ling Yunhao Fang Xuanlin Li Zhiao Huang Mingu Lee Roland Memisevic Hao Su ReLM LRM 106 136 0 06 Jun 2023
Interpretable Math Word Problem Solution Generation Via Step-by-step Planning Mengxue Zhang Zichao Wang Zhichao Yang Weiqi Feng Andrew Lan LRM 69 18 0 01 Jun 2023
Let's Verify Step by Step Hunter Lightman V. Kosaraju Yura Burda Harrison Edwards Bowen Baker Teddy Lee Jan Leike John Schulman Ilya Sutskever K. Cobbe ALM OffRL LRM 213 1,241 0 31 May 2023
Language Model Self-improvement by Reinforcement Learning Contemplation Jing-Cheng Pang Pengyuan Wang Kaiyuan Li Xiong-Hui Chen Jiacheng Xu Zongzhang Zhang Yang Yu LRM KELM 64 52 0 23 May 2023
Let GPT be a Math Tutor: Teaching Math Word Problem Solvers with Customized Exercise Generation Zhenwen Liang Wenhao Yu Tanmay Rajpurohit Peter Clark Xiangliang Zhang Ashwin Kaylan 66 38 0 22 May 2023
Non-Autoregressive Math Word Problem Solver with Unified Tree Structure Yi Bin Meng Han Wenhao Shi Lei Wang Yang Yang See-Kiong Ng Heng Tao Shen AIMat 62 8 0 08 May 2023
Self-Edit: Fault-Aware Code Editor for Code Generation Kechi Zhang Zhuo Li Jia Li Ge Li Zhi Jin 145 109 0 06 May 2023
CoTEVer: Chain of Thought Prompting Annotation Toolkit for Explanation Verification Seungone Kim Se June Joo Yul Jang Hyungjoo Chae Jinyoung Yeo LRM 66 12 0 07 Mar 2023
LEVER: Learning to Verify Language-to-Code Generation with Execution Ansong Ni Srini Iyer Dragomir R. Radev Ves Stoyanov Wen-tau Yih Sida I. Wang Xi Lin 136 226 0 16 Feb 2023
Learning by Applying: A General Framework for Mathematical Reasoning via Enhancing Explicit Knowledge Learning Jia-Yin Liu Zhenya Huang Chengxiang Zhai Qi Liu 47 20 0 11 Feb 2023
A Survey of Deep Learning for Mathematical Reasoning Pan Lu Liang Qiu Wenhao Yu Sean Welleck Kai-Wei Chang ReLM LRM 133 150 0 20 Dec 2022