CoMAT: Chain of Mathematically Annotated Thought Improves Mathematical Reasoning

Fair attribution of functional contribution in artificial and biological networks

Alon Keinan, Ben Sandbank, Claus C Hilgetag, Isaac Meilijson, and Eytan Ruppin. 2004 · 1915

Earlier work this paper cites.

A value for n-person games

Lloyd S Shapley. 1953 · 1953

Earlier work this paper cites.

A machine-oriented logic based on the resolution principle

John Alan Robinson. 1965 · 1965

Earlier work this paper cites.

Conditional reasoning and causation

Denise D Cummins, Todd Lubart, Olaf Alksnis, and Robert Rist. 1991 · 1991

Earlier work this paper cites.

Solving general arithmetic word problems

Original

Subhro Roy and Dan Roth. 2016 · 2016

Earlier work this paper cites.

Program induction by rationale generation: Learning to solve and explain algebraic word problems

Original

Wang Ling, Dani Yogatama, Chris Dyer, and Phil Blunsom. 2017 · 2017

Earlier work this paper cites.

Premise selection in natural language mathematical texts

Deborah Ferreira and André Freitas. 2020 · 2020

Earlier work this paper cites.

Training verifiers to solve math word problems

Original

Karl Cobbe, Vineet Kosaraju, Mohammad Bavarian, Mark Chen, Heewoo Jun, Lukasz Kaiser, Matthias Plappert, Jerry Tworek, Jacob Hilton, Reiichiro Nakano, et al. 2021 · 2021

Earlier work this paper cites.

Measuring mathematical problem solving with the math dataset

Original

Dan Hendrycks, Collin Burns, Saurav Kadavath, Akul Arora, Steven Basart, Eric Tang, Dawn Song, and Jacob Steinhardt. 2021 · 2021

Earlier work this paper cites.

Neural methods for logical reasoning over knowledge graphs

Alfonso Amayuelas, Shuai Zhang, Xi Susie Rao, and Ce Zhang. 2022 · 2022

Earlier work this paper cites.

Program of thoughts prompting: Disentangling computation from reasoning for numerical reasoning tasks

Original

Wenhu Chen, Xueguang Ma, Xinyi Wang, and William W Cohen. 2022 · 2022

Earlier work this paper cites.

Draft, sketch, and prove: Guiding formal theorem provers with informal proofs

Original

Albert Q Jiang, Sean Welleck, Jin Peng Zhou, Wenda Li, Jiacheng Liu, Mateja Jamnik, Timothée Lacroix, Yuhuai Wu, and Guillaume Lample. 2022 · 2022

Earlier work this paper cites.

Large language models are zero-shot reasoners

Takeshi Kojima, Shixiang Shane Gu, Machel Reid, Yutaka Matsuo, and Yusuke Iwasawa. 2022 · 2022

Earlier work this paper cites.

Solving quantitative reasoning problems with language models

Aitor Lewkowycz, Anders Andreassen, David Dohan, Ethan Dyer, Henryk Michalewski, Vinay Ramasesh, Ambrose Slone, Cem Anil, Imanol Schlag, Theo Gutman-Solo, et al. 2022 · 2022

Earlier work this paper cites.

Holistic evaluation of language models

Original

Percy Liang, Rishi Bommasani, Tony Lee, Dimitris Tsipras, Dilara Soylu, Michihiro Yasunaga, Yian Zhang, Deepak Narayanan, Yuhuai Wu, Ananya Kumar, et al. 2022 · 2022

Earlier work this paper cites.

A survey in mathematical language processing

Original

Jordan Meadows and Andre Freitas. 2022 · 2022

Earlier work this paper cites.

Language models are multilingual chain-of-thought reasoners

Original

Freda Shi, Mirac Suzgun, Markus Freitag, Xuezhi Wang, Suraj Srivats, Soroush Vosoughi, Hyung Won Chung, Yi Tay, Sebastian Ruder, Denny Zhou, et al. 2022 · 2022

Earlier work this paper cites.

Self-consistency improves chain of thought reasoning in language models

Original

Xuezhi Wang, Jason Wei, Dale Schuurmans, Quoc Le, Ed Chi, Sharan Narang, Aakanksha Chowdhery, and Denny Zhou. 2022 · 2022

Earlier work this paper cites.

Chain-of-thought prompting elicits reasoning in large language models

Jason Wei, Xuezhi Wang, Dale Schuurmans, Maarten Bosma, Fei Xia, Ed Chi, Quoc V Le, Denny Zhou, et al. 2022 · 2022

Earlier work this paper cites.

Automatic chain of thought prompting in large language models

Original

Zhuosheng Zhang, Aston Zhang, Mu Li, and Alex Smola. 2022 · 2022

Cited alongside, same era.

Gpt-4 technical report

Original

Josh Achiam, Steven Adler, Sandhini Agarwal, Lama Ahmad, Ilge Akkaya, Florencia Leoni Aleman, Diogo Almeida, Janko Altenschmidt, Sam Altman, Shyamal Anadkat, et al. 2023 · 2023

Cited alongside, same era.

A survey of chain of thought reasoning: Advances, frontiers and future

Original

Zheng Chu, Jingchang Chen, Qianglong Chen, Weijiang Yu, Tao He, Haotian Wang, Weihua Peng, Ming Liu, Bing Qin, and Ting Liu. 2023 · 2023

Cited alongside, same era.

Pal: Program-aided language models

Luyu Gao, Aman Madaan, Shuyan Zhou, Uri Alon, Pengfei Liu, Yiming Yang, Jamie Callan, and Graham Neubig. 2023 · 2023

Cited alongside, same era.

Comparative analysis of logic reasoning and graph neural networks for ontology-mediated query answering with a covering axiom

Chain-of-thought unfaithfulness as disguised accuracy

Original

Oliver Bentham, Nathan Stringham, and Ana Marasović. 2024 · 2024

Closest in time.

Masked thought: Simply masking partial reasoning steps can improve mathematical reasoning learning of language models

Original

Changyu Chen, Xiting Wang, Ting-En Lin, Ang Lv, Yuchuan Wu, Xin Gao, Ji-Rong Wen, Rui Yan, and Yongbin Li. 2024 · 2024

Closest in time.

Are we done with MMLU?

Original

Aryo Pradipta Gema, Joshua Ong Jun Leang, Giwon Hong, Alessio Devoto, Alberto Carlo Maria Mancino, Rohit Saxena, Xuanli He, Yu Zhao, Xiaotang Du, Mohammad Reza Ghasemi Madani, et al. 2024 · 2024

Closest in time.

Changing answer order can decrease mmlu accuracy

Original

Vipul Gupta, David Pantoja, Candace Ross, Adina Williams, and Megan Ung. 2024 · 2024

Closest in time.