Multimodal Machine Learning for Extraction of Theorems and Proofs in the Scientific Literature.
Shrey MishraAntoine GauquierPierre SenellartPublished in: CoRR (2023)
Keyphrases
- scientific literature
- machine learning
- text mining
- information extraction
- text processing
- scientific papers
- digital libraries
- scientific articles
- scientific information
- scientific publications
- data mining
- automatic extraction
- artificial intelligence
- biomedical literature
- published literature
- multi modal
- information retrieval
- sequent calculus
- feature selection
- network analysis
- text classification
- multimedia
- knowledge discovery
- data analysis
- machine learning methods
- knowledge base