--- title: "Mathematics & statistics — papers, page 5" description: "Mathematics & statistics: 161 papers of the Elamur Research library · page 5 of 7 — our summary of each, its ideas, references and who cites it." canonical: "https://research.elamur.ai/free/en/shelves/mathematics/page/5/" --- [Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/shelves/mathematics/page/5/) [home](https://md.research.elamur.ai/free/en/) / [shelves](https://md.research.elamur.ai/free/en/shelves/) / [Mathematics & statistics](https://md.research.elamur.ai/free/en/shelves/mathematics/) / page 5 # ➗ Mathematics & statistics 161 papers · page 5 of 7 · newest first · [all shelves](https://md.research.elamur.ai/free/en/shelves/) Mathematics, proofs, computational mathematics, word problems and how machines learn to solve them, statistics. [← prev](https://md.research.elamur.ai/free/en/shelves/mathematics/page/4/) [1](https://md.research.elamur.ai/free/en/shelves/mathematics/) [2](https://md.research.elamur.ai/free/en/shelves/mathematics/page/2/) [3](https://md.research.elamur.ai/free/en/shelves/mathematics/page/3/) [4](https://md.research.elamur.ai/free/en/shelves/mathematics/page/4/) **5** [6](https://md.research.elamur.ai/free/en/shelves/mathematics/page/6/) [7](https://md.research.elamur.ai/free/en/shelves/mathematics/page/7/) [next →](https://md.research.elamur.ai/free/en/shelves/mathematics/page/6/) - [Solving Challenging Math Word Problems Using GPT-4 Code Interpreter with Code-based Self-Verification](https://md.research.elamur.ai/free/en/papers/zhou-2023-solving-challenging-math-word-problems/) — Aojun Zhou, Ke Wang, Zimu Lu, et al. · 2023 - [Specializing Smaller Language Models towards Multi-Step Reasoning](https://md.research.elamur.ai/free/en/papers/fu-2023-specializing-smaller-language-models-towards/) — Yao Fu, Hao Peng, Litu Ou, et al. · 2023 - [Symbolic Chain-of-Thought Distillation: Small Models Can Also “Think” Step-by-Step](https://md.research.elamur.ai/free/en/papers/li-2023-symbolic-chain-thought-distillation-small/) — Liunian Harold Li, Jack Hessel, Youngjae Yu, et al. · 2023 - [Teaching Small Language Models to Reason](https://md.research.elamur.ai/free/en/papers/magister-2023-teaching-small-language-models-reason/) — Lucie Charlotte Magister, Jonathan Mallinson, Jakub Adamek, et al. · 2023 - [Textbooks Are All You Need II: phi-1.5 technical report](https://md.research.elamur.ai/free/en/papers/li-2023-textbooks-all-need-ii-phi/) — Yuanzhi Li, Sébastien Bubeck, Ronen Eldan, et al. · 2023 - [The Curse of Recursion: Training on Generated Data Makes Models Forget](https://md.research.elamur.ai/free/en/papers/shumailov-2023-curse-recursion-training-generated-data/) — Ilia Shumailov, Zakhar Shumaylov, Yiren Zhao, et al. · 2023 - [TheoremQA: A Theorem-driven Question Answering Dataset](https://md.research.elamur.ai/free/en/papers/chen-2023-theoremqa-theorem-driven-question-answering/) — Wenhu Chen, Ming Yin, Max Ku, et al. · 2023 - [Time Travel in LLMs: Tracing Data Contamination in Large Language Models](https://md.research.elamur.ai/free/en/papers/golchin-2023-time-travel-llms-tracing-data/) — Shahriar Golchin, Mihai Surdeanu · 2023 - [TinyStories: How Small Can Language Models Be and Still Speak Coherent English?](https://md.research.elamur.ai/free/en/papers/eldan-2023-tinystories-small-language-models-still/) — Ronen Eldan, Yuanzhi Li · 2023 - [Toolformer: Language Models Can Teach Themselves to Use Tools](https://md.research.elamur.ai/free/en/papers/schick-2023-toolformer-language-models-can-teach/) — Timo Schick, Jane Dwivedi-Yu, Roberto Dessì, et al. · 2023 - [ToRA: A Tool-Integrated Reasoning Agent for Mathematical Problem Solving](https://md.research.elamur.ai/free/en/papers/gou-2023-tora-tool-integrated-reasoning-agent/) — Zhibin Gou, Zhihong Shao, Yeyun Gong, et al. · 2023 - [Weak-to-Strong Generalization: Eliciting Strong Capabilities With Weak Supervision](https://md.research.elamur.ai/free/en/papers/burns-2023-weak-strong-generalization-eliciting-strong/) — Collin Burns, Pavel Izmailov, Jan Hendrik Kirchner, et al. · 2023 - [WizardLM: Empowering large pre-trained language models to follow complex instructions](https://md.research.elamur.ai/free/en/papers/xu-2023-wizardlm-empowering-large-pre-trained/) — Can Xu, Qingfeng Sun, Kai Zheng, et al. · 2023 - [WizardMath: Empowering Mathematical Reasoning for Large Language Models via Reinforced Evol-Instruct](https://md.research.elamur.ai/free/en/papers/luo-2023-wizardmath-empowering-mathematical-reasoning-large/) — Haipeng Luo, Qingfeng Sun, Can Xu, et al. · 2023 - [Autoformalization with Large Language Models](https://md.research.elamur.ai/free/en/papers/wu-2022-autoformalization-large-language-models/) — Yuhuai Wu, Albert Q. Jiang, Wenda Li, et al. · 2022 - [Beyond neural scaling laws: beating power law scaling via data pruning](https://md.research.elamur.ai/free/en/papers/sorscher-2022-neural-scaling-laws-beating-power/) — Ben Sorscher, Robert Geirhos, Shashank Shekhar, et al. · 2022 - [Beyond the Imitation Game: Quantifying and extrapolating the capabilities of language models](https://md.research.elamur.ai/free/en/papers/srivastava-2022-imitation-game-quantifying-extrapolating-capabilities/) — Aarohi Srivastava, Abhinav Rastogi, Abhishek Rao, et al. · 2022 - [Chain-of-Thought Prompting Elicits Reasoning in Large Language Models](https://md.research.elamur.ai/free/en/papers/wei-2022-chain-thought-prompting-elicits-reasoning/) — Jason Wei, Xuezhi Wang, Dale Schuurmans, et al. · 2022 - [Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs](https://md.research.elamur.ai/free/en/papers/jiang-2022-draft-sketch-prove-guiding-formal/) — Albert Q. Jiang, Sean Welleck, Jin Peng Zhou, et al. · 2022 - [Emergent Abilities of Large Language Models](https://md.research.elamur.ai/free/en/papers/wei-2022-emergent-abilities-large-language-models/) — Jason Wei, Yi Tay, Rishi Bommasani, et al. · 2022 - [Exploring Length Generalization in Large Language Models](https://md.research.elamur.ai/free/en/papers/anil-2022-exploring-length-generalization-large-language/) — Cem Anil, Yuhuai Wu, Anders Andreassen, et al. · 2022 - [Formal Mathematics Statement Curriculum Learning](https://md.research.elamur.ai/free/en/papers/polu-2022-formal-mathematics-statement-curriculum-learning/) — Stanislas Polu, Jesse Michael Han, Kunhao Zheng, et al. · 2022 - [Galactica: A Large Language Model for Science](https://md.research.elamur.ai/free/en/papers/taylor-2022-galactica-large-language-model-science/) — Ross Taylor, Marcin Kardas, Guillem Cucurull, et al. · 2022 - [HyperTree Proof Search for Neural Theorem Proving](https://md.research.elamur.ai/free/en/papers/lample-2022-hypertree-proof-search-neural-theorem/) — Guillaume Lample, Marie-Anne Lachaux, Thibaut Lavril, et al. · 2022 - [Language Models are Multilingual Chain-of-Thought Reasoners](https://md.research.elamur.ai/free/en/papers/shi-2022-language-models-multilingual-chain-thought/) — Freda Shi, Mirac Suzgun, Markus Freitag, et al. · 2022 [← prev](https://md.research.elamur.ai/free/en/shelves/mathematics/page/4/) [1](https://md.research.elamur.ai/free/en/shelves/mathematics/) [2](https://md.research.elamur.ai/free/en/shelves/mathematics/page/2/) [3](https://md.research.elamur.ai/free/en/shelves/mathematics/page/3/) [4](https://md.research.elamur.ai/free/en/shelves/mathematics/page/4/) **5** [6](https://md.research.elamur.ai/free/en/shelves/mathematics/page/6/) [7](https://md.research.elamur.ai/free/en/shelves/mathematics/page/7/) [next →](https://md.research.elamur.ai/free/en/shelves/mathematics/page/6/)