{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,4]],"date-time":"2026-06-04T13:15:04Z","timestamp":1780578904214,"version":"3.54.1"},"reference-count":39,"publisher":"IEEE","license":[{"start":{"date-parts":[[2021,12,15]],"date-time":"2021-12-15T00:00:00Z","timestamp":1639526400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2021,12,15]],"date-time":"2021-12-15T00:00:00Z","timestamp":1639526400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2021,12,15]],"date-time":"2021-12-15T00:00:00Z","timestamp":1639526400000},"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":[[2021,12,15]]},"DOI":"10.1109\/bigdata52589.2021.9671942","type":"proceedings-article","created":{"date-parts":[[2022,1,13]],"date-time":"2022-01-13T20:39:16Z","timestamp":1642106356000},"page":"1493-1503","source":"Crossref","is-referenced-by-count":8,"title":["Scientific Formula Retrieval via Tree Embeddings"],"prefix":"10.1109","author":[{"given":"Zichao","family":"Wang","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mengxue","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Richard G.","family":"Baraniuk","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Andrew S.","family":"Lan","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref39","first-page":"216","article-title":"Math operation embeddings for open-ended solution analysis and feedback","author":"zhang","year":"2021","journal-title":"Proc Intl Conf Educ Data Min"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1145\/2724660.2724664"},{"key":"ref33","article-title":"Efficient computation of the tree edit distance","volume":"40","author":"mateusz","year":"2015","journal-title":"ACM Trans Database Syst"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2015.08.004"},{"key":"ref31","article-title":"Python apted algorithm for the tree edit distance","author":"pimentel","year":"2017"},{"key":"ref30","first-page":"980","article-title":"Image-to-markup generation with coarse-to-fine attention","author":"deng","year":"2017","journal-title":"Proc IEEE Intern Conf on Machine Learning"},{"key":"ref37","article-title":"trec_eval","author":"buckley","year":"2008"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1145\/1008992.1009000"},{"key":"ref35","volume":"63","author":"voorhees","year":"2005","journal-title":"TREC Experiment and Evaluation in Information Retrieval"},{"key":"ref34","first-page":"2579","article-title":"Visualizing data using t-SNE","volume":"9","author":"van der maaten","year":"2008","journal-title":"J Mach Learn Res"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/s10032-011-0174-4"},{"key":"ref11","volume":"102","author":"kunen","year":"1983","journal-title":"Set Theory An Introduction to Independence Proofs"},{"key":"ref12","first-page":"2552","article-title":"Tree-to-tree neural networks for program translation","author":"chen","year":"2018","journal-title":"Proc Int Conf Neural Inf Process"},{"key":"ref13","first-page":"12 081","article-title":"Novel positional encodings to enable tree-based transformers","author":"shiv","year":"2019","journal-title":"Proc Int Conf Neural Inf Process"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/D19-1098"},{"key":"ref15","article-title":"Tree-structured attention with hierarchical accumulation","author":"nguyen","year":"2020","journal-title":"Proc Intl Conf Learn Representations"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.3115\/v1\/D14-1179"},{"key":"ref17","first-page":"3104","article-title":"Sequence to sequence learning with neural networks","author":"sutskever","year":"2014","journal-title":"Proc Int Conf Neural Inf Process"},{"key":"ref18","article-title":"D-vae: A variational autoencoder for directed acyclic graphs","volume":"32","author":"zhang","year":"2019","journal-title":"Proc Int Conf Neural Inf Process"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.3115\/v1\/P15-1150"},{"key":"ref28","article-title":"Analysing mathematical reasoning abilities of neural models","author":"saxton","year":"2019","journal-title":"Proc Intl Conf Learn Representations"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-45439-5_47"},{"key":"ref27","article-title":"Deep learning for symbolic mathematics","author":"lample","year":"2020","journal-title":"Proc Intl Conf Learn Representations"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-15712-8_8"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/3341981.3344235"},{"key":"ref29","article-title":"Automatic Generation of Headlines for Online Math Questions","author":"yuan","year":"2019"},{"key":"ref5","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":"ref8","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v34i05.6493"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v33i01.33017394"},{"key":"ref2","article-title":"Ntcir-12 mathir task overview","author":"zanibbi","year":"2016","journal-title":"Proc NTCIR Conf Eval Info Access"},{"key":"ref9","first-page":"1945","article-title":"Grammar variational autoencoder","volume":"70","author":"kusner","year":"2017","journal-title":"Proc Int Conf Mach Learn"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/3077136.3080748"},{"key":"ref20","article-title":"Ordered neurons: Integrating tree structures into recurrent neural networks","author":"shen","year":"2019","journal-title":"Proc Intl Conf Learn Representations"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2020.3039470"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/D19-1098"},{"key":"ref24","first-page":"115","article-title":"Pharaoh: A beam search decoder for phrase-based statistical machine translation models","author":"koehn","year":"2004","journal-title":"Mach Transl Real Users Res"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.2200\/S00762ED1V01Y201703HLT037"},{"key":"ref26","first-page":"11 650","article-title":"Learning optimal tree models under beam search","volume":"119","author":"zhuo","year":"2020","journal-title":"Proc IEEE Intern Conf on Machine Learning"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/W17-3207"}],"event":{"name":"2021 IEEE International Conference on Big Data (Big Data)","location":"Orlando, FL, USA","start":{"date-parts":[[2021,12,15]]},"end":{"date-parts":[[2021,12,18]]}},"container-title":["2021 IEEE International Conference on Big Data (Big Data)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9671263\/9671273\/09671942.pdf?arnumber=9671942","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,10]],"date-time":"2022-05-10T16:55:36Z","timestamp":1652201736000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9671942\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,12,15]]},"references-count":39,"URL":"https:\/\/doi.org\/10.1109\/bigdata52589.2021.9671942","relation":{},"subject":[],"published":{"date-parts":[[2021,12,15]]}}}