Skip to content
conftrace_

mathematical reasoning

459 papers

Papers

A Causal Framework to Quantify the Robustness of Mathematical Reasoning with Language Models ACL 2023 An Expression Tree Decoding Strategy for Mathematical Equation Generation EMNLP 2023 A Survey of Deep Learning for Mathematical Reasoning ACL 2023 ATHENA: Mathematical Reasoning with Thought Expansion EMNLP 2023 Automatic Model Selection with Large Language Models for Reasoning EMNLP 2023 Chain-of-Thought Reasoning in Tabular Language Models EMNLP 2023 ChatCoT: Tool-Augmented Chain-of-Thought Reasoning on Chat-based Large Language Models EMNLP 2023 Conic10K: A Challenging Math Problem Understanding and Reasoning Dataset EMNLP 2023 CREATOR: Tool Creation for Disentangling Abstract and Concrete Reasoning of Large Language Models EMNLP 2023 Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs ICLR 2023 Dynamic Prompt Learning via Policy Gradient for Semi-structured Mathematical Reasoning ICLR 2023 GRACE: Discriminator-Guided Chain-of-Thought Reasoning EMNLP 2023 Improving Mathematics Tutoring With A Code Scratchpad ACL 2023 Interpretable Graph Networks Formulate Universal Algebra Conjectures NeurIPS 2023 Language Models Are Greedy Reasoners: A Systematic Formal Analysis of Chain-of-Thought ICLR 2023 Learning by Applying: A General Framework for Mathematical Reasoning via Enhancing Explicit Knowledge Learning AAAI 2023 Learning Multi-Step Reasoning by Solving Arithmetic Tasks ACL 2023 Learning Non-linguistic Skills without Sacrificing Linguistic Proficiency ACL 2023 Least-to-Most Prompting Enables Complex Reasoning in Large Language Models ICLR 2023 MatCha: Enhancing Visual Language Pretraining with Math Reasoning and Chart Derendering ACL 2023 Mathematical Capabilities of ChatGPT NeurIPS 2023 MathPrompter: Mathematical Reasoning using Large Language Models ACL 2023 Math Word Problem Solving by Generating Linguistic Variants of Problem Statements ACL 2023 MCC-KD: Multi-CoT Consistent Knowledge Distillation EMNLP 2023 Plan, Verify and Switch: Integrated Reasoning with Diverse X-of-Thoughts EMNLP 2023