专题：Mathematics, Computing, and Information Processing

This cluster of papers focuses on the development and improvement of information retrieval systems specifically tailored for mathematical content. It includes topics such as semantic representation of mathematical expressions, search interfaces for mathematicians, retrieval of scientific documents with mathematical content, and math question answering systems.
最新文献
OMEGA: Can LLMs Reason Outside the Box in Math? Evaluating Exploratory, Compositional, and Transformative Generalization

conference-paper Full Text OpenAlex

A survey on mathematical reasoning and optimization with large language models

article Full Text OpenAlex

Proof Engine Infrastructure: A Claim-Graph Framework for AI-Assisted Mathematical Research

article Full Text OpenAlex

Building Interlanguages with Multilingual AI — preserved predecessor; current release at 10.5281/zenodo.22087279

article Full Text OpenAlex

Advancing mathematics research with AI-driven formal proof search

article Full Text OpenAlex

‘It is incredible’: How AI is transforming mathematics

article Full Text OpenAlex

Search Without Truth: A Cross-Domain Invariant in AI Mathematical and Reasoning Systems

article Full Text OpenAlex

iTagPDF: Towards Finally Automating PDF Accessibility

conference-paper Full Text OpenAlex

Enhanced Dynamic Label Allocation for Mathematical Formula Named Entity Recognition in Learning Path Recommendations

article Full Text OpenAlex

Transparent AI for mathematics: transformer-based large language models for mathematical entity relationship extraction with XAI

article Full Text OpenAlex

近5年高被引文献
Mathematical Capabilities of ChatGPT

conference-paper Full Text OpenAlex 383 FWCI68.5914

Solving olympiad geometry without human demonstrations

article Full Text OpenAlex 311 FWCI45.3557

A neural network solves, explains, and generates university math problems by program synthesis and few-shot learning at human level

article Full Text OpenAlex 186 FWCI13.6583

MathPrompter: Mathematical Reasoning using Large Language Models

conference-paper Full Text OpenAlex 153 FWCI27.456

NumGLUE: A Suite of Fundamental yet Challenging Mathematical Reasoning Tasks

conference-paper Full Text OpenAlex 122 FWCI15.8884

Recent trends in mathematical expressions recognition: An LDA-based analysis

article Full Text OpenAlex 118 FWCI9.2626

Machine learning models for mathematical symbol recognition: A stem to stern literature analysis

article Full Text OpenAlex 114 FWCI9.1513

Large Language Models for Mathematical Reasoning: Progresses and Challenges

conference-paper Full Text OpenAlex 97 FWCI28.4389

Syntax-Aware Network for Handwritten Mathematical Expression Recognition

conference-paper Full Text OpenAlex 87 FWCI6.9798

MWP-BERT: Numeracy-Augmented Pre-training for Math Word Problem Solving

conference-paper Full Text OpenAlex 80 FWCI9.946