{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,25]],"date-time":"2026-03-25T00:44:12Z","timestamp":1774399452762,"version":"3.50.1"},"reference-count":30,"publisher":"IEEE","license":[{"start":{"date-parts":[[2020,10,11]],"date-time":"2020-10-11T00:00:00Z","timestamp":1602374400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2020,10,11]],"date-time":"2020-10-11T00:00:00Z","timestamp":1602374400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2020,10,11]],"date-time":"2020-10-11T00:00:00Z","timestamp":1602374400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020,10,11]]},"DOI":"10.1109\/smc42975.2020.9283495","type":"proceedings-article","created":{"date-parts":[[2020,12,14]],"date-time":"2020-12-14T21:44:48Z","timestamp":1607982288000},"page":"2578-2584","source":"Crossref","is-referenced-by-count":8,"title":["An N-ary Tree-based Model for Similarity Evaluation on Mathematical Formulae"],"prefix":"10.1109","author":[{"given":"Yifan","family":"Dai","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Liangyu","family":"Chen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zihan","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref30","first-page":"2579","article-title":"Visualizing data using t-sne","volume":"9","author":"maaten","year":"2008","journal-title":"Journal of Machine Learning Research"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-22673-1_16"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1023\/A:1022967814992"},{"key":"ref12","first-page":"23","article-title":"A structure based approach for mathematical expression retrieval","author":"kumar","year":"2012","journal-title":"International Workshop on Multi-disciplinary Trends in Artificial Intelligence"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/1871437.1871635"},{"key":"ref14","article-title":"Mathwebsearch 0.4, a semantic search engine for mathematics","author":"kohlhase","year":"2008"},{"key":"ref15","article-title":"Combining tf-idf text retrieval with an inverted index over symbol pairs in math expressions: The tangent math search engine at ntcir 2014","author":"pattaniyil","year":"2014","journal-title":"NTCIR"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/2911451.2911512"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/3077136.3080748"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v33i01.33017394"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-96812-4_23"},{"key":"ref28","article-title":"Ntcir-12 mathir task overview","author":"zanibbi","year":"2016","journal-title":"NTCIR"},{"key":"ref4","first-page":"384","article-title":"Word representations: a simple and general method for semi-supervised learning","author":"turian","year":"2010","journal-title":"Proceedings of the 48th Annual Meeting of the Association for Computational Linguistics"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-15712-8_8"},{"key":"ref3","first-page":"1137","article-title":"A neural probabilistic language model","volume":"3","author":"bengio","year":"2003","journal-title":"Journal of Machine Learning Research"},{"key":"ref6","article-title":"Preliminary exploration of formula embedding for mathematical information retrieval: can mathematical formulae be embedded like a natural language?","author":"gao","year":"2017"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1145\/1008992.1009000"},{"key":"ref5","article-title":"Equation embeddings","author":"krstovski","year":"2018"},{"key":"ref8","first-page":"940207","article-title":"Math expression retrieval using an inverted index over symbol pairs","volume":"9402","author":"stalnaker","year":"2015","journal-title":"Document Recognition and Retrieval XIII"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/3341981.3344235"},{"key":"ref2","first-page":"3111","article-title":"Distributed representations of words and phrases and their compositionality","author":"mikolov","year":"2013","journal-title":"Advances in neural information processing systems"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-73086-6_27"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/s10032-011-0174-4"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-62075-6_25"},{"key":"ref22","article-title":"Tangent-3 at the ntcir-12 mathir task","author":"davila","year":"2016","journal-title":"NTCIR"},{"key":"ref21","article-title":"A document retrieval system for math queries","author":"thanda","year":"2016","journal-title":"NTCIR"},{"key":"ref24","article-title":"Bag of tricks for efficient text classification","author":"joulin","year":"2016"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/2939672.2939754"},{"key":"ref26","article-title":"Mcat math retrieval system for ntcir-12 mathir task","author":"kristianto","year":"2016","journal-title":"NTCIR"},{"key":"ref25","article-title":"A simple but tough-to-beat baseline for sentence embeddings","author":"arora","year":"2016"}],"event":{"name":"2020 IEEE International Conference on Systems, Man, and Cybernetics (SMC)","location":"Toronto, ON, Canada","start":{"date-parts":[[2020,10,11]]},"end":{"date-parts":[[2020,10,14]]}},"container-title":["2020 IEEE International Conference on Systems, Man, and Cybernetics (SMC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9282733\/9282811\/09283495.pdf?arnumber=9283495","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,6,30]],"date-time":"2022-06-30T15:10:11Z","timestamp":1656601811000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9283495\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,10,11]]},"references-count":30,"URL":"https:\/\/doi.org\/10.1109\/smc42975.2020.9283495","relation":{},"subject":[],"published":{"date-parts":[[2020,10,11]]}}}