mv96/mm_extraction
This repository contains the code and pointer to the trained models to extract proofs and theorems from scientific articles
Jupyter Notebook
No issues in this repository yet.
This repository contains the code and pointer to the trained models to extract proofs and theorems from scientific articles
Jupyter Notebook
No issues in this repository yet.