working papers Mathematical Derivation Graphs: A Relation Extraction Task in STEM Manuscripts Vishesh Prasad, Brian Kim, and Nickvash Kani 2026 HTML