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 PDF HTML

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

29 / 29 papers shown

Title
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 79 12 0 03 Jan 2025
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 OSLM LRM 110 412 0 03 Jan 2025
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 32 0 0 02 Oct 2024
RAGent: Retrieval-based Access Control Policy Generation Sakuna Jayasundara N. Arachchilage Giovanni Russello 54 1 0 08 Sep 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 25 6 0 27 Jun 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 42 21 0 08 Feb 2024
Get an A in Math: Progressive Rectification Prompting Zhenyu Wu Meng Jiang Chao Shen KELM LRM 32 9 0 11 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 26 66 0 29 Nov 2023
Three Questions Concerning the Use of Large Language Models to Facilitate Mathematics Learning An-Zi Yen Wei-Ling Hsu LRM AI4Ed 32 9 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 24 15 0 16 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 35 32 0 08 Sep 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 34 37 0 22 May 2023
CoTEVer: Chain of Thought Prompting Annotation Toolkit for Explanation Verification Seungone Kim Se June Joo Yul Jang Hyungjoo Chae Jinyoung Yeo LRM 22 12 0 07 Mar 2023
Learning by Applying: A General Framework for Mathematical Reasoning via Enhancing Explicit Knowledge Learning Jia-Yin Liu Zhenya Huang Chengxiang Zhai Qi Liu 15 20 0 11 Feb 2023
Analogical Math Word Problems Solving with Enhanced Problem-Solution Association Zhenwen Liang Jipeng Zhang Xiangliang Zhang AIMat 34 17 0 01 Dec 2022
Automatic Generation of Socratic Subquestions for Teaching Math Word Problems Kumar Shridhar Jakub Macina Mennatallah El-Assady Tanmay Sinha Manu Kapur Mrinmaya Sachan AIMat 33 45 0 23 Nov 2022
DyRRen: A Dynamic Retriever-Reranker-Generator Model for Numerical Reasoning over Tabular and Textual Data Xiao Li Sichen Liu Kaiwen Shi Jiangzhou Ju Yuzhong Qu Gong Cheng AIMat RALM LRM 29 15 0 23 Nov 2022
Consecutive Question Generation via Dynamic Multitask Learning Yun Li Sujian Li Xing Shi LRM 27 2 0 16 Nov 2022
Seeking Diverse Reasoning Logic: Controlled Equation Expression Generation for Solving Math Word Problems Yibin Shen Qianying Liu Zhuoyuan Mao Zhen Wan Fei Cheng Sadao Kurohashi AIMat 40 5 0 21 Sep 2022
CodeT: Code Generation with Generated Tests Bei Chen Fengji Zhang A. Nguyen Daoguang Zan Zeqi Lin Jian-Guang Lou Weizhu Chen 43 319 0 21 Jul 2022
Fault-Aware Neural Code Rankers J. Inala Chenglong Wang Mei Yang Andrés Codas Mark Encarnación Shuvendu K. Lahiri Madan Musuvathi Jianfeng Gao ALM 19 42 0 04 Jun 2022
LogiGAN: Learning Logical Reasoning via Adversarial Pre-training Xinyu Pi Wanjun Zhong Yan Gao Nan Duan Jian-Guang Lou NAI GAN LRM AI4CE 41 16 0 18 May 2022
Chain-of-Thought Prompting Elicits Reasoning in Large Language Models Jason W. Wei Xuezhi Wang Dale Schuurmans Maarten Bosma Brian Ichter F. Xia Ed H. Chi Quoc Le Denny Zhou LM&Ro LRM AI4CE ReLM 401 8,559 0 28 Jan 2022
Explanatory Learning: Beyond Empiricism in Neural Networks Antonio Norelli Giorgio Mariani Luca Moschella Andrea Santilli Giambattista Parascandolo Simone Melzi Emanuele Rodolà 14 2 0 25 Jan 2022
Language Models as Zero-Shot Planners: Extracting Actionable Knowledge for Embodied Agents Wenlong Huang Pieter Abbeel Deepak Pathak Igor Mordatch LM&Ro 42 1,062 0 18 Jan 2022
A Neural Network Solves, Explains, and Generates University Math Problems by Program Synthesis and Few-Shot Learning at Human Level Iddo Drori Sarah J. Zhang Reece Shuttleworth Leonard Tang Albert Lu ... J. Lynch A. Shporer Nakul Verma Eugene Wu G. Strang AIMat ReLM 35 147 0 31 Dec 2021
Training Verifiers to Solve Math Word Problems K. Cobbe V. Kosaraju Mohammad Bavarian Mark Chen Heewoo Jun ... Jerry Tworek Jacob Hilton Reiichiro Nakano Christopher Hesse John Schulman ReLM OffRL LRM 64 3,815 0 27 Oct 2021
MWP-BERT: Numeracy-Augmented Pre-training for Math Word Problem Solving Zhenwen Liang Jipeng Zhang Lei Wang Wei Qin Yunshi Lan Jie Shao Xiangliang Zhang AIMat 44 61 0 28 Jul 2021
GLUE: A Multi-Task Benchmark and Analysis Platform for Natural Language Understanding Alex Jinpeng Wang Amanpreet Singh Julian Michael Felix Hill Omer Levy Samuel R. Bowman ELM 299 6,984 0 20 Apr 2018