Return to Conference Proceedings Submission Details Development of IR Tool for Tree-Structured Math ML-based Mathematical Descriptions Download Download PDF