➗ Mathematics & statistics162 papers · page 2 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 →DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic DataHuajian Xin, Daya Guo, Zhihong Shao, et al.2024DeepSeekMath: Pushing the Limits of Mathematical Reasoning in Open Language ModelsZhihong Shao, Peiyi Wang, Qihao Zhu, et al.2024Generative Verifiers: Reward Modeling as Next-Token PredictionLunjun Zhang, Arian Hosseini, Hritik Bansal, et al.2024GSM-Plus: A Comprehensive Benchmark for Evaluating the Robustness of LLMs as Mathematical Problem SolversQintong Li, Leyang Cui, Xueliang Zhao, et al.2024GSM-Symbolic: Understanding the Limitations of Mathematical Reasoning in Large Language ModelsIman Mirzadeh, Keivan Alizadeh, Hooman Shahrokhi, et al.2024Improve Mathematical Reasoning in Language Models by Automated Process SupervisionLiangchen Luo, Yinxiao Liu, Rosanne Liu, et al.2024Inference Scaling Laws: An Empirical Analysis of Compute-Optimal Inference for Problem-Solving with Language ModelsYangzhen Wu, Zhiqing Sun, Shanda Li, et al.2024Investigating Data Contamination in Modern Benchmarks for Large Language ModelsChunyuan Deng, Yilun Zhao, Xiangru Tang, et al.2024Iterative Reasoning Preference OptimizationRichard Yuanzhe Pang, Weizhe Yuan, Kyunghyun Cho, et al.2024Large Language Models for Mathematical Reasoning: Progresses and ChallengesJanice Ahn, Rishu Verma, Renze Lou, et al.2024Large Language Monkeys: Scaling Inference Compute with Repeated SamplingBradley Brown, Jordan Juravsky, Ryan Ehrlich, et al.2024Magpie: Alignment Data Synthesis from Scratch by Prompting Aligned LLMs with NothingZhangchen Xu, Fengqing Jiang, Luyao Niu, et al.2024MAmmoTH2: Scaling Instructions from the WebXiang Yue, Tuney Zheng, Ge Zhang, et al.2024Math-Shepherd: Verify and Reinforce LLMs Step-by-step without Human AnnotationsPeiyi Wang, Lei Li, Zhihong Shao, et al.2024MiniCPM: Unveiling the Potential of Small Language Models with Scalable Training StrategiesShengding Hu, Yuge Tu, Xu Han, et al.2024MMLU-Pro: A More Robust and Challenging Multi-Task Language Understanding BenchmarkYubo Wang, Xueguang Ma, Ge Zhang, et al.2024OlympiadBench: A Challenging Benchmark for Promoting AGI with Olympiad-Level Bilingual Multimodal Scientific ProblemsChaoqun He, Renjie Luo, Yuzhuo Bai, et al.2024Omni-MATH: A Universal Olympiad Level Mathematic Benchmark For Large Language ModelsBofei Gao, Feifan Song, Zhe Yang, et al.2024Orca-Math: Unlocking the potential of SLMs in Grade School MathArindam Mitra, Hamed Khanpour, Corby Rosset, et al.2024Phi-3 Technical Report: A Highly Capable Language Model Locally on Your PhoneMarah Abdin, Jyoti Aneja, Hany Awadalla, et al.2024Phi-4 Technical ReportMarah Abdin, Jyoti Aneja, Harkirat Behl, et al.2024Quiet-STaR: Language models can teach themselves to think before speaking2024Qwen2.5-Math Technical Report: Toward Mathematical Expert Model via Self-ImprovementAn Yang, Beichen Zhang, Binyuan Hui, et al.2024ReFT: Reasoning with Reinforced Fine-TuningLuong Trung, Xinbo Zhang, Zhanming Jie, et al.2024ReST-MCTS*: LLM Self-Training via Process Reward Guided Tree SearchDan Zhang, Sining Zhoubian, Ziniu Hu, et al.2024← prev 1 2 3 4 5 6 7 next →