Gregory Eritsyan's repositories
Printed-Latex-Data-Generation
Python and JS tools to generate Printed LaTex formulas and images
image-to-tex-OCR
OCR model for latex markdown language
Lemma6.4verification
Script for verification of trace values using MAGMA calls and parallelization.