mathematical reasoning

Neuro-Symbolic Data Generation for Math Reasoning NeurIPS 2024 NeuroSymbolic LLM for Mathematical Reasoning and Software Engineering IJCAI 2024 NUMCoT: Numerals and Units of Measurement in Chain-of-Thought Reasoning using Large Language Models ACL 2024 OpenMathInstruct-1: A 1.8 Million Math Instruction Tuning Dataset NeurIPS 2024 OpenWebMath: An Open Dataset of High-Quality Mathematical Web Text ICLR 2024 Over-Reasoning and Redundant Calculation of Large Language Models EACL 2024 Paraphrase and Solve: Exploring and Exploiting the Impact of Surface Form on Mathematical Reasoning in Large Language Models NAACL 2024 Pre-trained Large Language Models Use Fourier Features to Compute Addition NeurIPS 2024 Pride and Prejudice: LLM Amplifies Self-Bias in Self-Refinement ACL 2024 Proving Olympiad Algebraic Inequalities without Human Demonstrations NeurIPS 2024 Rationales for Answers to Simple Math Word Problems Confuse Large Language Models ACL 2024 REFACTOR: Learning to Extract Theorems from Proofs ICLR 2024 SAAS: Solving Ability Amplification Strategy for Enhanced Mathematical Reasoning in Large Language Models EMNLP 2024 SciAgent: Tool-augmented Language Models for Scientific Reasoning EMNLP 2024 SciInstruct: a Self-Reflective Instruction Annotated Dataset for Training Scientific Language Models NeurIPS 2024 SEGO: Sequential Subgoal Optimization for Mathematical Problem-Solving ACL 2024 Self-Explore: Enhancing Mathematical Reasoning in Language Models with Fine-grained Rewards EMNLP 2024 Self-Training with Direct Preference Optimization Improves Chain-of-Thought Reasoning ACL 2024 Solving Challenging Math Word Problems Using GPT-4 Code Interpreter with Code-based Self-Verification ICLR 2024 Solving for X and Beyond: Can Large Language Models Solve Complex Math Problems with More-Than-Two Unknowns? EMNLP 2024 Step-level Value Preference Optimization for Mathematical Reasoning EMNLP 2024 TheoremLlama: Transforming General-Purpose LLMs into Lean4 Experts EMNLP 2024 Toward Self-Improvement of LLMs via Imagination, Searching, and Criticizing NeurIPS 2024 What Makes Math Word Problems Challenging for LLMs? NAACL 2024 When is Tree Search Useful for LLM Planning? It Depends on the Discriminator ACL 2024