{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:51:24Z","timestamp":1740099084352,"version":"3.37.3"},"publisher-location":"Cham","reference-count":14,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319964171"},{"type":"electronic","value":"9783319964188"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-96418-8_19","type":"book-chapter","created":{"date-parts":[[2018,7,13]],"date-time":"2018-07-13T06:57:13Z","timestamp":1531465033000},"page":"156-164","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["NLP and Large-Scale Information Retrieval on Mathematical Texts"],"prefix":"10.1007","author":[{"given":"Yihe","family":"Dong","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,7,14]]},"reference":[{"key":"19_CR1","unstructured":"Google Scholar. \nhttps:\/\/scholar.google.com"},{"key":"19_CR2","unstructured":"Microsoft Academic. \nhttps:\/\/academic.microsoft.com"},{"key":"19_CR3","unstructured":"Mikolov, T., Chen, K., Corrado, G., Dean, J.: Efficient estimation of word representations in vector space. \nhttps:\/\/arxiv.org\/abs\/1301.3781"},{"key":"19_CR4","unstructured":"arXiv Bulk Data Access. \nhttps:\/\/arxiv.org\/help\/bulk_data_s3"},{"key":"19_CR5","unstructured":"Universal Dependencies. \nhttp:\/\/universaldependencies.org\/"},{"key":"19_CR6","unstructured":"Corpus of Contemporary American English. \nhttps:\/\/corpus.byu.edu\/coca\/"},{"key":"19_CR7","unstructured":"Word frequency data. \nhttps:\/\/www.wordfrequency.info\/"},{"key":"19_CR8","unstructured":"arXMLiv Word Embeddings. \nhttps:\/\/sigmathling.kwarc.info\/resources\/arxmliv-embeddings-082017\/"},{"key":"19_CR9","unstructured":"Furnas, G., Dumais, S., Landauer, T.K., Harshman, R.A., Streeter, L.A., Lochbaum, K.E.: Information retrieval using a singular value decomposition model of latent semantic structure. In: Proceedings of SIGIR (1998)"},{"key":"19_CR10","doi-asserted-by":"crossref","unstructured":"Toutanova, K., Klein, D., Manning, C., Singer, Y.: Feature-rich part-of-speech tagging with a cyclic dependency network. In: Proceedings of HLT-NAACL, pp. 252\u2013259 (2003)","DOI":"10.3115\/1073445.1073478"},{"key":"19_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"12","DOI":"10.1007\/978-3-319-66107-0_2","volume-title":"Interactive Theorem Proving","author":"C Kaliszyk","year":"2017","unstructured":"Kaliszyk, C., Urban, J., Vysko\u010dil, J.: Automating formalization by statistical and semantic parsing of mathematics. In: Ayala-Rinc\u00f3n, M., Mu\u00f1oz, C.A. (eds.) ITP 2017. LNCS, vol. 10499, pp. 12\u201327. Springer, Cham (2017). \nhttps:\/\/doi.org\/10.1007\/978-3-319-66107-0_2"},{"key":"19_CR12","unstructured":"Conneau, A., Kiela, D., Schwenk, H., Barrault, L., Bordes, A.: Supervised learning of universal sentence representations from natural language inference data. \nhttps:\/\/arxiv.org\/abs\/1705.02364"},{"key":"19_CR13","unstructured":"Arora, S., Liang, Y., Ma, T.: A simple but tough-to-beat baseline for sentence embeddings. In: ICLR (2017)"},{"key":"19_CR14","unstructured":"Pagliardini, M., Gupta, P., Jaggi, M.: Unsupervised learning of sentence embeddings using compositional n-gram features. \nhttps:\/\/arxiv.org\/abs\/1703.02507"}],"container-title":["Lecture Notes in Computer Science","Mathematical Software \u2013 ICMS 2018"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-96418-8_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,7,13]],"date-time":"2018-07-13T07:07:14Z","timestamp":1531465634000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-96418-8_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319964171","9783319964188"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-96418-8_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}