{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T21:22:05Z","timestamp":1775078525755,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":22,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,9,26]],"date-time":"2019-09-26T00:00:00Z","timestamp":1569456000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2019,9,26]]},"DOI":"10.1145\/3341981.3344235","type":"proceedings-article","created":{"date-parts":[[2019,9,27]],"date-time":"2019-09-27T12:34:07Z","timestamp":1569587647000},"page":"11-18","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":55,"title":["Tangent-CFT"],"prefix":"10.1145","author":[{"given":"Behrooz","family":"Mansouri","sequence":"first","affiliation":[{"name":"Rochester Institute of Technology, Rochester, NY, USA"}]},{"given":"Shaurya","family":"Rohatgi","sequence":"additional","affiliation":[{"name":"The Pennsylvania State University, State College, PA, USA"}]},{"given":"Douglas W.","family":"Oard","sequence":"additional","affiliation":[{"name":"University of Maryland, College Park, MD, USA"}]},{"given":"Jian","family":"Wu","sequence":"additional","affiliation":[{"name":"Old Dominion University, Norfolk, VA, USA"}]},{"given":"C. Lee","family":"Giles","sequence":"additional","affiliation":[{"name":"The Pennsylvania State University, State College, PA, USA"}]},{"given":"Richard","family":"Zanibbi","sequence":"additional","affiliation":[{"name":"Rochester Institute of Technology, Rochester, NY, USA"}]}],"member":"320","published-online":{"date-parts":[[2019,9,26]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"In Proceedings of the 11th NTCIR Conference .","author":"Aizawa Akiko","year":"2014","unstructured":"Akiko Aizawa , Michael Kohlhase , Iadh Ounis , and Moritz Schubotz . 2014 . NTCIR-11 Math-2 Task Overview . In In Proceedings of the 11th NTCIR Conference . Akiko Aizawa, Michael Kohlhase, Iadh Ounis, and Moritz Schubotz. 2014. NTCIR-11 Math-2 Task Overview. In In Proceedings of the 11th NTCIR Conference ."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1162\/tacl_a_00051"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1008992.1009000"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/3077136.3080748"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/3209280.3209527"},{"key":"e_1_3_2_1_6_1","unstructured":"Liangcai Gao Zhuoren Jiang Yue Yin Ke Yuan Zuoyu Yan and Zhi Tang. 2017. Preliminary Exploration of Formula Embedding for Mathematical Information Retrieval: can mathematical formulae be embedded like a natural language?  Liangcai Gao Zhuoren Jiang Yue Yin Ke Yuan Zuoyu Yan and Zhi Tang. 2017. Preliminary Exploration of Formula Embedding for Mathematical Information Retrieval: can mathematical formulae be embedded like a natural language?"},{"key":"e_1_3_2_1_7_1","unstructured":"Giovanni Yoko Kristianto Goran Topic and Akiko Aizawa. 2016. MCAT Math Retrieval System for NTCIR-12 MathIR Task. In NTCIR .  Giovanni Yoko Kristianto Goran Topic and Akiko Aizawa. 2016. MCAT Math Retrieval System for NTCIR-12 MathIR Task. In NTCIR ."},{"key":"e_1_3_2_1_8_1","unstructured":"Kriste Krstovski and David M Blei. 2018. Equation Embeddings.  Kriste Krstovski and David M Blei. 2018. Equation Embeddings."},{"key":"e_1_3_2_1_9_1","volume-title":"International Workshop on Multi-disciplinary Trends in Artificial Intelligence .","author":"Kumar P Pavan","year":"2012","unstructured":"P Pavan Kumar , Arun Agarwal , and Chakravarthy Bhagvati . 2012 . A structure based approach for mathematical expression retrieval . In International Workshop on Multi-disciplinary Trends in Artificial Intelligence . P Pavan Kumar, Arun Agarwal, and Chakravarthy Bhagvati. 2012. A structure based approach for mathematical expression retrieval. In International Workshop on Multi-disciplinary Trends in Artificial Intelligence ."},{"key":"e_1_3_2_1_10_1","volume-title":"International Conference on Machine Learning .","author":"Le Quoc","year":"2014","unstructured":"Quoc Le and Tomas Mikolov . 2014 . Distributed representations of sentences and documents . In International Conference on Machine Learning . Quoc Le and Tomas Mikolov. 2014. Distributed representations of sentences and documents. In International Conference on Machine Learning ."},{"key":"e_1_3_2_1_11_1","article-title":"Visualizing data using t-SNE","author":"van der Maaten Laurens","year":"2008","unstructured":"Laurens van der Maaten and Geoffrey Hinton . 2008 . Visualizing data using t-SNE . Journal of Machine Learning Research . Laurens van der Maaten and Geoffrey Hinton. 2008. Visualizing data using t-SNE. Journal of Machine Learning Research .","journal-title":"Journal of Machine Learning Research ."},{"key":"e_1_3_2_1_12_1","volume-title":"Characterizing Searches for Mathematical Concepts. In Joint Conference on Digital Libraries .","author":"Mansouri Behrooz","year":"2019","unstructured":"Behrooz Mansouri , Douglas W. Oard , and Richard Zanibbi . 2019 . Characterizing Searches for Mathematical Concepts. In Joint Conference on Digital Libraries . Behrooz Mansouri, Douglas W. Oard, and Richard Zanibbi. 2019. Characterizing Searches for Mathematical Concepts. In Joint Conference on Digital Libraries ."},{"key":"e_1_3_2_1_13_1","unstructured":"Tomas Mikolov Kai Chen Greg Corrado and Jeffrey Dean. 2013a. Efficient estimation of word representations in vector space.  Tomas Mikolov Kai Chen Greg Corrado and Jeffrey Dean. 2013a. Efficient estimation of word representations in vector space."},{"key":"e_1_3_2_1_14_1","unstructured":"Tomas Mikolov Ilya Sutskever Kai Chen Greg S Corrado and Jeff Dean. 2013b. Distributed representations of words and phrases and their compositionality. In Advances in Neural Information Processing Systems .  Tomas Mikolov Ilya Sutskever Kai Chen Greg S Corrado and Jeff Dean. 2013b. Distributed representations of words and phrases and their compositionality. In Advances in Neural Information Processing Systems ."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2806416.2806599"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2623330.2623732"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2034691.2034703"},{"key":"e_1_3_2_1_18_1","unstructured":"Abhinav Thanda Ankit Agarwal Kushal Singla Aditya Prakash and Abhishek Gupta. 2016. A Document Retrieval System for Math Queries. In NTCIR .  Abhinav Thanda Ankit Agarwal Kushal Singla Aditya Prakash and Abhishek Gupta. 2016. A Document Retrieval System for Math Queries. In NTCIR ."},{"key":"e_1_3_2_1_19_1","unstructured":"Richard Zanibbi Akiko Aizawa Michael Kohlhase Iadh Ounis Goran Topic and Kenny Davila. 2016a. NTCIR-12 MathIR Task Overview. In NTCIR .  Richard Zanibbi Akiko Aizawa Michael Kohlhase Iadh Ounis Goran Topic and Kenny Davila. 2016a. NTCIR-12 MathIR Task Overview. In NTCIR ."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"crossref","unstructured":"Richard Zanibbi and Dorothea Blostein. 2012. Recognition and retrieval of mathematical expressions. International Journal on Document Analysis and Recognition (IJDAR) .  Richard Zanibbi and Dorothea Blostein. 2012. Recognition and retrieval of mathematical expressions. International Journal on Document Analysis and Recognition (IJDAR) .","DOI":"10.1007\/s10032-011-0174-4"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/2911451.2911512"},{"key":"e_1_3_2_1_22_1","volume-title":"Structural Similarity Search for Formulas Using Leaf-Root Paths in Operator Subtrees. In European Conference on Information Retrieval .","author":"Zhong Wei","year":"2019","unstructured":"Wei Zhong and Richard Zanibbi . 2019 . Structural Similarity Search for Formulas Using Leaf-Root Paths in Operator Subtrees. In European Conference on Information Retrieval . Wei Zhong and Richard Zanibbi. 2019. Structural Similarity Search for Formulas Using Leaf-Root Paths in Operator Subtrees. In European Conference on Information Retrieval ."}],"event":{"name":"ICTIR '19: The 2019 ACM SIGIR International Conference on the Theory of Information Retrieval","location":"Santa Clara CA USA","acronym":"ICTIR '19","sponsor":["SIGIR ACM Special Interest Group on Information Retrieval"]},"container-title":["Proceedings of the 2019 ACM SIGIR International Conference on Theory of Information Retrieval"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3341981.3344235","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3341981.3344235","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T00:43:25Z","timestamp":1750207405000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3341981.3344235"}},"subtitle":["An Embedding Model for Mathematical Formulas"],"short-title":[],"issued":{"date-parts":[[2019,9,26]]},"references-count":22,"alternative-id":["10.1145\/3341981.3344235","10.1145\/3341981"],"URL":"https:\/\/doi.org\/10.1145\/3341981.3344235","relation":{},"subject":[],"published":{"date-parts":[[2019,9,26]]},"assertion":[{"value":"2019-09-26","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}