➗ Mathematics & statistics162 papers · page 5 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 →Solving Challenging Math Word Problems Using GPT-4 Code Interpreter with Code-based Self-VerificationAojun Zhou, Ke Wang, Zimu Lu, et al.2023Specializing Smaller Language Models towards Multi-Step ReasoningYao Fu, Hao Peng, Litu Ou, et al.2023Symbolic Chain-of-Thought Distillation: Small Models Can Also ``Think'' Step-by-StepLiunian Harold Li, Jack Hessel, Youngjae Yu, et al.2023Teaching Small Language Models to ReasonLucie Charlotte Magister, Jonathan Mallinson, Jakub Adamek, et al.2023Textbooks Are All You Need II: phi-1.5 technical reportYuanzhi Li, Sébastien Bubeck, Ronen Eldan, et al.2023The Curse of Recursion: Training on Generated Data Makes Models ForgetIlia Shumailov, Zakhar Shumaylov, Yiren Zhao, et al.2023TheoremQA: A Theorem-driven Question Answering DatasetWenhu Chen, Ming Yin, Max Ku, et al.2023Time Travel in LLMs: Tracing Data Contamination in Large Language ModelsShahriar Golchin, Mihai Surdeanu2023TinyStories: How Small Can Language Models Be and Still Speak Coherent English?Ronen Eldan, Yuanzhi Li2023Toolformer: Language Models Can Teach Themselves to Use ToolsTimo Schick, Jane Dwivedi-Yu, Roberto Dessì, et al.2023ToRA: A Tool-Integrated Reasoning Agent for Mathematical Problem SolvingZhibin Gou, Zhihong Shao, Yeyun Gong, et al.2023Weak-to-Strong Generalization: Eliciting Strong Capabilities With Weak SupervisionCollin Burns, Pavel Izmailov, Jan Hendrik Kirchner, et al.2023WizardLM: Empowering large pre-trained language models to follow complex instructionsCan Xu, Qingfeng Sun, Kai Zheng, et al.2023WizardMath: Empowering Mathematical Reasoning for Large Language Models via Reinforced Evol-InstructHaipeng Luo, Qingfeng Sun, Can Xu, et al.2023Autoformalization with Large Language ModelsYuhuai Wu, Albert Q. Jiang, Wenda Li, et al.2022Beyond neural scaling laws: beating power law scaling via data pruningBen Sorscher, Robert Geirhos, Shashank Shekhar, et al.2022Beyond the Imitation Game: Quantifying and extrapolating the capabilities of language modelsAarohi Srivastava, Abhinav Rastogi, Abhishek Rao, et al.2022Chain-of-Thought Prompting Elicits Reasoning in Large Language ModelsJason Wei, Xuezhi Wang, Dale Schuurmans, et al.2022Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal ProofsAlbert Q. Jiang, Sean Welleck, Jin Peng Zhou, et al.2022Emergent Abilities of Large Language ModelsJason Wei, Yi Tay, Rishi Bommasani, et al.2022Exploring Length Generalization in Large Language ModelsCem Anil, Yuhuai Wu, Anders Andreassen, et al.2022Formal Mathematics Statement Curriculum LearningStanislas Polu, Jesse Michael Han, Kunhao Zheng, et al.2022Galactica: A Large Language Model for ScienceRoss Taylor, Marcin Kardas, Guillem Cucurull, et al.2022HyperTree Proof Search for Neural Theorem ProvingGuillaume Lample, Marie-Anne Lachaux, Thibaut Lavril, et al.2022Language Models are Multilingual Chain-of-Thought ReasonersFreda Shi, Mirac Suzgun, Markus Freitag, et al.2022← prev 1 2 3 4 5 6 7 next →