Instruct: Given the title of a paper, retrieve paper titles that are cited by the given paper
Query: Improving Formula Analysis with Line and Mathematics Identification
Recognition and retrieval of mathematical expressions
Training an End-to-End System for Handwritten Mathematical Expression Recognition by Generated Patterns
Semantic Parsing of Pre-university Math Problems
MATH GO ! PROTOTYPE OF A CONTENT BASED MATHEMATICAL FORMULA SEARCH ENGINE
Partial Evaluation of Computation Process , Revisited
A content-constrained spatial (CCS) model for layout analysis of mathematical expressions
A Systematic Survey of Program Comprehension through Dynamic Analysis
INFTY: an integrated OCR system for mathematical documents
Formal Concept Analysis: Mathematical Foundations
Semantically-Aligned Equation Generation for Solving and Reasoning Math Word Problems
An efficient method of computing static single assignment form
A Survey of Dynamic Program Analysis Techniques and Tools
A user-guided approach to program analysis
Flow-sensitive pointer analysis for millions of lines of code
Automatic Algorithm Recognition of Source-Code Using Machine Learning
Multi-Stage Math Formula Search: Using Appearance-Based Similarity Metrics at Scale
Function Interface Analysis: A Principled Approach for Function Recognition in COTS Binaries
Automated backward error analysis for numerical code
Exploiting Abstract Syntax Trees to Locate Software Defects
Extensible intraprocedural flow analysis at the abstract syntax tree level
Learning Semantic Similarity for Very Short Texts
Word image matching using dynamic time warping
What an Entangled Web We Weave: An Information-centric Approach to Time-evolving Socio-technical Systems
Facility-imposed barriers to early utilization of focused antenatal care services in Mangochi District, Malawi – a mixed methods assessment
Absorbable polymeric surgical clips for appendicular stump closure: A randomized control trial of laparoscopic appendectomy with lapro-clips