Use existing LaTeX form of LADR to completely bypass all PDF manipulations. Use LADR LaTeX as benchmark for measuring adequacy of PDF interpretations - Semantic Scholar work on extracting equations, representing them in a form that provides LLM and generative models with computable relationships among equation and proof elements.