➗ Mathematics & statistics162 papers · page 6 of 7 · newest first · all shelvesMathematics, proofs, computational mathematics, word problems and how machines learn to solve them, statistics.← prev 1 2 3 4 5 6 7 next →Large language models are zero-shot reasonersTakeshi Kojima, Shixiang Shane Gu, Machel Reid, et al.2022Learning to Reason Deductively: Math Word Problem Solving as Complex Relation ExtractionZhanming Jie, Jierui Li, Wei Lu2022Least-to-most prompting enables complex reasoning in large language models2022LILA: A Unified Benchmark for Mathematical ReasoningSwaroop Mishra, Matthew Finlayson, Pan Lu, et al.2022Program of Thoughts Prompting: Disentangling Computation from Reasoning for Numerical Reasoning TasksWenhu Chen, Xueguang Ma, Xinyi Wang, et al.2022Self-Consistency Improves Chain of Thought Reasoning in Language ModelsXuezhi Wang, Jason Wei, Dale Schuurmans, et al.2022Solving math word problems with process- and outcome-based feedbackJonathan Uesato, Nate Kushman, Ramana Kumar, et al.2022Solving Quantitative Reasoning Problems with Language ModelsAitor Lewkowycz, Anders Andreassen, David Dohan, et al.2022STaR: Bootstrapping Reasoning With ReasoningEric Zelikman, Yuhuai Wu, Jesse Mu, et al.2022Are NLP Models really able to Solve Simple Math Word Problems?Arkil Patel, Satwik Bhattamishra, Navin Goyal2021FinQA: A Dataset of Numerical Reasoning over Financial DataZhiyu Chen, Wenhu Chen, Charese Smiley, et al.2021Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic ReasoningPan Lu, Ran Gong, Shibiao Jiang, et al.2021Measuring Mathematical Problem Solving With the MATH DatasetDan Hendrycks, Collin Burns, Saurav Kadavath, et al.2021MiniF2F: a cross-system benchmark for formal Olympiad-level mathematicsKunhao Zheng, Jesse Michael Han, Stanislas Polu2021Show your work: Scratchpads for intermediate computation with language models2021TAT-QA: A Question Answering Benchmark on a Hybrid of Tabular and Textual Content in FinanceFengbin Zhu, Wenqiang Lei, Youcheng Huang, et al.2021The Lean 4 Theorem Prover and Programming Language (System Description)Leonardo de Moura, Sebastian Ullrich2021Training Verifiers to Solve Math Word ProblemsKarl Cobbe, Vineet Kosaraju, Mohammad Bavarian, et al.2021Array Programming with NumPyCharles R. Harris, K. Jarrod Millman, Stéfan J. van der Walt, et al.2020Generative Language Modeling for Automated Theorem ProvingStanislas Polu, Ilya Sutskever2020Injecting Numerical Reasoning Skills into Language ModelsMor Geva, Ankit Gupta, Jonathan Berant2020Measuring Massive Multitask Language UnderstandingDan Hendrycks, Collin Burns, Steven Basart, et al.2020Analysing Mathematical Reasoning Abilities of Neural ModelsDavid Saxton, Edward Grefenstette, Felix Hill, et al.2019Do NLP Models Know Numbers? Probing Numeracy in EmbeddingsEric Wallace, Yizhong Wang, Sujian Li, et al.2019DROP: A Reading Comprehension Benchmark Requiring Discrete Reasoning Over ParagraphsDheeru Dua, Yizhong Wang, Pradeep Dasigi, et al.2019← prev 1 2 3 4 5 6 7 next →