/mm_extraction

This repository contains the code and pointer to the trained models to extract proofs and theorems from scientific articles

Primary LanguageJupyter Notebook

No issues in this repository yet.