➗ Mathematics & statistics162 papers · page 4 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 →Let's Verify Step by StepHunter Lightman, Vineet Kosaraju, Yura Burda, et al.2023LEVER: Learning to Verify Language-to-Code Generation with ExecutionAnsong Ni, Srini Iyer, Dragomir Radev, et al.2023LINC: A Neurosymbolic Approach for Logical Reasoning by Combining Language Models with First-Order Logic ProversTheo X. Olausson, Alex Gu, Benjamin Lipkin, et al.2023Llemma: An Open Language Model For MathematicsZhangir Azerbayev, Hailey Schoelkopf, Keiran Paster, et al.2023Logic-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical ReasoningLiangming Pan, Alon Albalak, Xinyi Wang, et al.2023Making Language Models Better Reasoners with Step-Aware VerifierYifei Li, Zeqi Lin, Shizhuo Zhang, et al.2023MAmmoTH: Building Math Generalist Models through Hybrid Instruction TuningXiang Yue, Xingwei Qu, Ge Zhang, et al.2023MathCoder: Seamless Code Integration in LLMs for Enhanced Mathematical ReasoningKe Wang, Houxing Ren, Aojun Zhou, et al.2023Mathematical Capabilities of ChatGPTSimon Frieder, Luca Pinchetti, Alexis Chevalier, et al.2023MathPrompter: Mathematical Reasoning using Large Language ModelsShima Imani, Liang Du, Harsh Shrivastava2023MathVista: Evaluating Mathematical Reasoning of Foundation Models in Visual ContextsPan Lu, Hritik Bansal, Tony Xia, et al.2023MetaMath: Bootstrap Your Own Mathematical Questions for Large Language ModelsLonghui Yu, Weisen Jiang, Han Shi, et al.2023MiniLLM: On-Policy Distillation of Large Language ModelsYuxian Gu, Li Dong, Furu Wei, et al.2023NLP Evaluation in trouble: On the Need to Measure LLM Data Contamination for each BenchmarkOscar Sainz, Jon Campos, Iker García-Ferrero, et al.2023On-Policy Distillation of Language Models: Learning from Self-Generated MistakesRishabh Agarwal, Nino Vieillard, Yongchao Zhou, et al.2023OpenWebMath: An Open Dataset of High-Quality Mathematical Web TextKeiran Paster, Marco Dos Santos, Zhangir Azerbayev, et al.2023Orca 2: Teaching Small Language Models How to ReasonArindam Mitra, Luciano Del Corro, Shweti Mahajan, et al.2023Orca: Progressive Learning from Complex Explanation Traces of GPT-4Subhabrata Mukherjee, Arindam Mitra, Ganesh Jawahar, et al.2023Progress measures for grokking via mechanistic interpretabilityNeel Nanda, Lawrence Chan, Tom Lieberum, et al.2023ProofNet: Autoformalizing and Formally Proving Undergraduate-Level MathematicsZhangir Azerbayev, Bartosz Piotrowski, Hailey Schoelkopf, et al.2023Reinforced Self-Training (ReST) for Language ModelingCaglar Gulcehre, Tom Le Paine, Srivatsan Srinivasan, et al.2023Rethinking Benchmark and Contamination for Language Models with Rephrased SamplesShuo Yang, Wei-Lin Chiang, Lianmin Zheng, et al.2023Scaling Relationship on Learning Mathematical Reasoning with Large Language ModelsZheng Yuan, Hongyi Yuan, Chengpeng Li, et al.2023SciBench: Evaluating College-Level Scientific Problem-Solving Abilities of Large Language ModelsXiaoxuan Wang, Ziniu Hu, Pan Lu, et al.2023SCOTT: Self-Consistent Chain-of-Thought DistillationPeifeng Wang, Zhengyang Wang, Zheng Li, et al.2023← prev 1 2 3 4 5 6 7 next →