First Steps in Building a Knowledge Base of Mathematical Results - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2024

First Steps in Building a Knowledge Base of Mathematical Results

Shrey Mishra
  • Fonction : Auteur
  • PersonId : 1105903
Yacine Brihmouche
  • Fonction : Auteur
Antoine Gauquier

Résumé

This paper explores first steps towards extracting information about theorems and proofs from scholarly documents to build a knowledge base of interlinked results. Specifically, we consider two main tasks: extractions of results and their proofs from the PDF of scientific articles; and establishing which results is used in the proof of which, across the scientific literature. We discuss the problem statement, methodologies, as well as preliminary findings employed in both phases of our approach, highlighting the challenges faced.
Fichier principal
Vignette du fichier
main.pdf (4.37 Mo) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04639523 , version 1 (09-07-2024)

Licence

Identifiants

  • HAL Id : hal-04639523 , version 1

Citer

Shrey Mishra, Yacine Brihmouche, Theo Delemazure, Antoine Gauquier, Pierre Senellart. First Steps in Building a Knowledge Base of Mathematical Results. SDP Fourth Workshop on Scholarly Document Processing at ACL 2024, Aug 2024, Bangkok, Thailand. ⟨hal-04639523⟩
0 Consultations
0 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More