Notes on a Path to AI Assistance in Mathematical Reasoning
These informal notes are based on the author's lecture at the National Academies of Science, Engineering, and Mathematics workshop on "AI to Assist Mathematical Reasoning" in June 2023. The goal is to think through a path by which we might arrive at AI that is useful for the research mathematician.
Code (0)
등록된 구현이 없습니다.
Tasks
Mathematical ReasoningSimilar Papers 제목 키워드 기반
DotaMath: Decomposition of Thought with Code Assistance and Self-correction for Mathematical Reasoning
Large language models (LLMs) have made impressive progress in handling simple math problems, yet they still struggle with more challenging and complex mathematical tasks. In this paper, we introduce a series of LLMs that…
AvgGSM8KImitation LearningMath+1NoTeS-Bank: Benchmarking Neural Transcription and Search for Scientific Notes Understanding
Understanding and reasoning over academic handwritten notes remains a challenge in document AI, particularly for mathematical equations, diagrams, and scientific notations. Existing visual question answering (VQA) benchm…
BenchmarkingDocument AIdocument understandingMultimodal Reasoning+6AlphaMath Almost Zero: Process Supervision without Process
Although recent advancements in large language models (LLMs) have significantly improved their performance on various tasks, they still face challenges with complex and symbolic multi-step reasoning, particularly in math…
Mathematical ReasoningMath Word Problem SolvingAttention-based Aspect Reasoning for Knowledge Base Question Answering on Clinical Notes
Question Answering (QA) in clinical notes has gained a lot of attention in the past few years. Existing machine reading comprehension approaches in clinical domain can only handle questions about a single block of clinic…
Knowledge Base Question AnsweringMachine Reading ComprehensionQuestion AnsweringReading ComprehensionHintMR: Eliciting Stronger Mathematical Reasoning in Small Language Models
Small language models (SLMs) often struggle with complex mathematical reasoning due to limited capacity to maintain long chains of intermediate steps and to recover from early errors. We address this challenge by introdu…
Mathematical Reasoning