paper-with-me

홈 › Papers

Is Mathematics Obsolete?

2025-02-03 · Jeremy Avigad

This is an essay about the value of mathematical and symbolic reasoning in the age of AI.

📄 PDF Abstract BibTeX arXiv:2502.14874

Code (0)

등록된 구현이 없습니다.

Similar Papers 제목 키워드 기반

Data Obsolescence Detection in the Light of Newly Acquired Valid Observations

2021-01-18 · Salma Chaieb, Brahim Hnich, Ali Ben Mrad

The information describing the conditions of a system or a person is constantly evolving and may become obsolete and contradict other information. A database, therefore, must be consistently updated upon the acquisition …

valid

Enriching a Model's Notion of Belief using a Persistent Memory

2021-04-16 · Nora Kassner, Oyvind Tafjord, Hinrich Schutze, Peter Clark

(This is an old and now obsolete draft. See https://arxiv.org/abs/2109.14723 ("BeliefBank: Adding Memory to a Pre-Trained Language Model for a Systematic Notion of Belief") for the final paper).

Language ModelingLanguage Modelling

Obsolete Personal Information Update System for the Prevention of Falls among Elderly Patients

2021-01-20 · Salma Chaieb, Brahim Hnich, Ali Ben Mrad

Falls are a common problem affecting the older adults and a major public health issue. Centers for Disease Control and Prevention, and World Health Organization report that one in three adults over the age of 65 and half…

Mathematics as information compression via the matching and unification of patterns

2018-08-05 · J. Gerard Wolff

This paper describes a novel perspective on the foundations of mathematics: how mathematics may be seen to be largely about 'information compression via the matching and unification of patterns' (ICMUP). ICMUP is itself …

MathGloss: Building mathematical glossaries from text

2023-11-21 · Lucy Horowitz, Valeria de Paiva

MathGloss is a project to create a knowledge graph (KG) for undergraduate mathematics from text, automatically, using modern natural language processing (NLP) tools and resources already available on the web. MathGloss i…

Math