paper-with-me

Papers

Machine Learning and Computational Mathematics

2020-09-23 · E Weinan

Neural network-based machine learning is capable of approximating functions in very high dimension with unprecedented efficiency and accuracy. This has opened up many exciting new possibilities, not just in traditional areas of artificial intelligence, but also in scientific computing and computational science. At the same time, machine learning has also acquired the reputation of being a set of "black box" type of tricks, without fundamental principles. This has been a real obstacle for making further progress in machine learning. In this article, we try to address the following two very important questions: (1) How machine learning has already impacted and will further impact computational mathematics, scientific computing and computational science? (2) How computational mathematics, particularly numerical analysis, {can} impact machine learning? We describe some of the most important progress that has been made on these issues. Our hope is to put things into a perspective that will help to integrate machine learning with computational mathematics.

📄 PDF Abstract BibTeX arXiv:2009.14596

Code (0)

등록된 구현이 없습니다.

Tasks

BIG-bench Machine Learning

Similar Papers 제목 키워드 기반

Learning to learn STEM courses

2021-11-16 · ACL ARR November 2021 11 · Anonymous

We curate a new dataset from MIT EECS (Course 6), Physics (Course 8), Economics (Course 14), Mathematics (Course 18), Harvard Statistics, and Columbia Computer Science course questions, transform them into programming ta…

Astronomy

Why Machines Cannot Learn Mathematics, Yet

2019-05-20 · André Greiner-Petter, Terry Ruas, Moritz Schubotz, Akiko Aizawa 외

Nowadays, Machine Learning (ML) is seen as the universal solution to improve the effectiveness of information retrieval (IR) methods. However, while mathematics is a precise and accurate science, it is usually expressed …

BIG-bench Machine LearningInformation RetrievalRetrieval

Exploration of Neural Machine Translation in Autoformalization of Mathematics in Mizar

2019-12-05 · Qingxiang Wang, Chad Brown, Cezary Kaliszyk, Josef Urban

In this paper we share several experiments trying to automatically translate informal mathematics into formal mathematics. In our context informal mathematics refers to human-written mathematical sentences in the LaTeX f…

Machine TranslationTranslation

POS Tagging and its Applications for Mathematics

2014-06-11 · Ulf Schöneberg, Wolfram Sperber

Content analysis of scientific publications is a nontrivial task, but a useful and important one for scientific information services. In the Gutenberg era it was a domain of human experts; in the digital age many machine…

BIG-bench Machine LearningGeneral ClassificationPOSPOS Tagging

Iteris: Agentic Research Loops for Computational Mathematics

2026-06-01 · Leheng Chen, Zihao Liu, Wanyi He, Bin Dong arxiv

Recent advances in large language models and agentic AI systems have enabled significant progress in mathematical discovery, from solving competition problems to tackling research-level conjectures. However, open problem…