{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,7]],"date-time":"2026-01-07T07:54:27Z","timestamp":1767772467809,"version":"3.41.0"},"publisher-location":"Cham","reference-count":48,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319968117"},{"type":"electronic","value":"9783319968124"}],"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-96812-4_23","type":"book-chapter","created":{"date-parts":[[2018,7,17]],"date-time":"2018-07-17T08:26:41Z","timestamp":1531816001000},"page":"271-286","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["Deep Learning for Math Knowledge Processing"],"prefix":"10.1007","author":[{"given":"Abdou","family":"Youssef","sequence":"first","affiliation":[]},{"given":"Bruce R.","family":"Miller","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,7,18]]},"reference":[{"issue":"3","key":"23_CR1","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1080\/00031305.1992.10475879","volume":"46","author":"NS Altman","year":"1992","unstructured":"Altman, N.S.: An introduction to kernel and nearest-neighbor nonparametric regression. Am. Stat. 46(3), 175\u2013185 (1992)","journal-title":"Am. Stat."},{"key":"23_CR2","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-39593-2_1","volume-title":"Statistical Language and Speech Processing","author":"Y Bengio","year":"2013","unstructured":"Bengio, Y.: Deep learning of representations: looking forward. In: Dediu, A.-H., Mart\u00edn-Vide, C., Mitkov, R., Truthe, B. (eds.) SLSP 2013. LNCS (LNAI), vol. 7978, pp. 1\u201337. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-39593-2_1"},{"key":"23_CR3","unstructured":"Bordes, A., Glorot, X., Weston, J., Bengio, Y.: Joint learning of words and meaning representations for open-text semantic parsing. In: AISTATS (2012)"},{"key":"23_CR4","doi-asserted-by":"publisher","first-page":"436","DOI":"10.1038\/nature14539","volume":"521","author":"Y Bengio","year":"2015","unstructured":"Bengio, Y., LeCun, Y., Hinton, G.: Deep learning. Nature 521, 436\u2013444 (2015)","journal-title":"Nature"},{"issue":"1","key":"23_CR5","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1023\/A:1010933404324","volume":"45","author":"L Breiman","year":"2001","unstructured":"Breiman, L.: Random forests. Mach. Learn. 45(1), 5\u201332 (2001)","journal-title":"Mach. Learn."},{"key":"23_CR6","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/978-3-642-02614-0_21","volume-title":"Intelligent Computer Mathematics","author":"J Carette","year":"2009","unstructured":"Carette, J., Farmer, W.M.: A review of mathematical knowledge management. In: Carette, J., Dixon, L., Coen, C.S., Watt, S.M. (eds.) CICM 2009. LNCS (LNAI), vol. 5625, pp. 233\u2013246. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-02614-0_21"},{"key":"23_CR7","unstructured":"Chung, J., G\u00fcl\u00e7ehre, \u00c7., Cho, K., Bengio, Y.: Gated feedback recurrent neural networks. In: ICML (2015)"},{"key":"23_CR8","doi-asserted-by":"crossref","unstructured":"Cho, K., Van Merri\u00ebnboer, B., Bahdanau, D., Bengio, Y.: On the properties of neural machine translation: Encoder-decoder approaches. ArXiv e-prints, abs\/1409.1259 (2014)","DOI":"10.3115\/v1\/W14-4012"},{"key":"23_CR9","doi-asserted-by":"crossref","unstructured":"Cho, K., van Merri\u00ebnboer, B., Gulcehre, C., Bougares, F., Schwenk, H., Bengio, Y.: Learning phrase representations using RNN encoder-decoder for statistical machine translation. In: The Empiricial Methods in Natural Language Processing (EMNLP 2014) (2014)","DOI":"10.3115\/v1\/D14-1179"},{"issue":"3","key":"23_CR10","first-page":"273","volume":"20","author":"C Cortes","year":"1995","unstructured":"Cortes, C., Vapnik, V.: Support-vector networks. Mach. Learn. 20(3), 273\u2013297 (1995)","journal-title":"Mach. Learn."},{"key":"23_CR11","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/978-3-319-62075-6_9","volume-title":"Intelligent Computer Mathematics","author":"HS Cohl","year":"2017","unstructured":"Cohl, H.S., et al.: Semantic preserving bijective mappings of\u00a0mathematical formulae between document preparation systems and computer algebra\u00a0systems. In: Geuvers, H., England, M., Hasan, O., Rabe, F., Teschke, O. (eds.) CICM 2017. LNCS (LNAI), vol. 10383, pp. 115\u2013131. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-62075-6_9"},{"key":"23_CR12","doi-asserted-by":"crossref","unstructured":"Devlin, J., Zbib, R., Huang, Z., Lamar, T., Schwartz, R., Makhoul, J.: Fast and robust neural network joint models for statistical machine translation. In: Proceedings of the ACL 2014 (2014)","DOI":"10.3115\/v1\/P14-1129"},{"key":"23_CR13","volume-title":"Deep Learning","author":"I Goodfellow","year":"2016","unstructured":"Goodfellow, I., Bengio, Y., Courville, A.: Deep Learning. MIT Press, Cambridge (2016)"},{"issue":"3","key":"23_CR14","doi-asserted-by":"publisher","first-page":"417","DOI":"10.1109\/TPAMI.2011.142","volume":"34","author":"S Garcia","year":"2012","unstructured":"Garcia, S., Derrac, J., Cano, J., Herrera, F.: Prototype selection for nearest neighbor classification: taxonomy and empirical study. IEEE Trans. Pattern Anal. Mach. Intell. 34(3), 417\u2013435 (2012)","journal-title":"IEEE Trans. Pattern Anal. Mach. Intell."},{"key":"23_CR15","unstructured":"Ginev, D., Jucovschi, C., Anca, S., Grigore, M., David, C., Kohlhase, M.: An architecture for linguistic and semantic analysis on the arXMLiv corpus. In: Applications of Semantic Technologies (AST) Workshop at Informatik (2009)"},{"key":"23_CR16","unstructured":"Gao, L., et al.: Preliminary exploration of formula embedding for mathematical information retrieval: can mathematical formulae be embedded like a natural language? arXiv:1707.05154 (2017)"},{"key":"23_CR17","series-title":"Studies in Computational Intelligence","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-24797-2","volume-title":"Supervised Sequence Labelling with Recurrent Neural Networks","author":"A Graves","year":"2012","unstructured":"Graves, A.: Supervised Sequence Labelling with Recurrent Neural Networks. SCI. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-24797-2"},{"key":"23_CR18","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"296","DOI":"10.1007\/978-3-319-20615-8_20","volume-title":"Intelligent Computer Mathematics","author":"F Guidi","year":"2015","unstructured":"Guidi, F., Sacerdoti Coen, C.: A survey on retrieval of mathematical knowledge. In: Kerber, M., Carette, J., Kaliszyk, C., Rabe, F., Sorge, V. (eds.) CICM 2015. LNCS (LNAI), vol. 9150, pp. 296\u2013315. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-20615-8_20"},{"key":"23_CR19","volume-title":"The Elements of Statistical Learning: Data Mining, Inference, and Prediction","author":"T Hastie","year":"2013","unstructured":"Hastie, T.: The Elements of Statistical Learning: Data Mining, Inference, and Prediction, 2nd edn. Springer, New York (2013)","edition":"2"},{"key":"23_CR20","doi-asserted-by":"crossref","unstructured":"Lau, J.H., Baldwin, T.: An empirical evaluation of doc2vec with practical insights into document embedding generation. In: 1st Workshop on Representation Learning for NLP (2016)","DOI":"10.18653\/v1\/W16-1609"},{"issue":"8","key":"23_CR21","doi-asserted-by":"publisher","first-page":"1735","DOI":"10.1162\/neco.1997.9.8.1735","volume":"9","author":"S Hochreiter","year":"1997","unstructured":"Hochreiter, S., Schmidhuber, J.: Long short-term memory. Neural Comput. 9(8), 1735\u20131780 (1997)","journal-title":"Neural Comput."},{"key":"23_CR22","volume-title":"Speech and Language Processing","author":"D Jurafsky","year":"2009","unstructured":"Jurafsky, D., Martin, J.H.: Speech and Language Processing. Pearson Education, London (2009)"},{"key":"23_CR23","doi-asserted-by":"crossref","unstructured":"Kim, Y.: Convolutional neural networks for sentence classification. In: Conference on Empirical Methods in NLP, October 2014, Doha, Qatar, pp. 1746\u20131751 (2014)","DOI":"10.3115\/v1\/D14-1181"},{"key":"23_CR24","unstructured":"Kohlhase, M.: Semantic markup for mathematical statements. v1.2 (2016)"},{"key":"23_CR25","unstructured":"Kottwitz, S.: Beginner\u2019s Guide. PACKT Publishing, Birmingham (2001)"},{"key":"23_CR26","unstructured":"Kstovski, K., Blei, D.M.: Equation Embeddings, March 2018. https:\/\/arxiv.org\/abs\/1803.09123"},{"key":"23_CR27","doi-asserted-by":"crossref","unstructured":"LeCun, Y., Kavukcuoglu, K., Farabet, C.: Convolutional networks and applications in vision. In: 2010 IEEE Internatioanl Symposium on Circuits and Systems (ISCAS), pp. 253\u2013256 (2010)","DOI":"10.1109\/ISCAS.2010.5537907"},{"issue":"6","key":"23_CR28","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1109\/MIS.2016.45","volume":"31","author":"S Lai","year":"2016","unstructured":"Lai, S., Liu, K., He, S., Zhao, J.: How to generate a good word embedding. IEEE Intell. Syst. 31(6), 5\u201314 (2016)","journal-title":"IEEE Intell. Syst."},{"key":"23_CR29","unstructured":"Le, Q., Mikolov, T.: Distributed representations of sentences and documents. In: International Conference on Machine Learning, pp. 1188\u20131196, January 2014"},{"key":"23_CR30","unstructured":"Mikolov, T., Chen, K., Corrado, G., Dean, J.: Efficient estimation of word representations in vector space. In: International Conference on Learning Representations: Workshops Track (2013)"},{"key":"23_CR31","unstructured":"Miller, B.: : A to XML\/HTML\/MathML Converter. http:\/\/dlmf.nist.gov\/LaTeXML\/"},{"key":"23_CR32","unstructured":"Mikolov, T., Sutskever, I., Chen, K., Corrado, G.S., Dean, J.: Distributed representations of words and phrases and their compositionality. In: NIPS, pp. 3111\u20133119 (2013)"},{"key":"23_CR33","volume-title":"Machine Learning: A Probabilistic Perspective","author":"KP Murphy","year":"2012","unstructured":"Murphy, K.P.: Machine Learning: A Probabilistic Perspective. MIT Press, Cambridge (2012)"},{"key":"23_CR34","doi-asserted-by":"publisher","first-page":"1326","DOI":"10.1016\/j.patrec.2008.02.005","volume":"29","author":"CD Malon","year":"2008","unstructured":"Malon, C.D., Uchida, S., Suzuki, M.: Mathematical symbol recognition with support vector machines. Pattern Recogn. Lett. 29, 1326\u20131332 (2008)","journal-title":"Pattern Recogn. Lett."},{"issue":"2","key":"23_CR35","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1459352.1459355","volume":"41","author":"R Navigli","year":"2009","unstructured":"Navigli, R.: Word sense disambiguation: a survey. ACM Comput. Surv. 41(2), 1\u201369 (2009)","journal-title":"ACM Comput. Surv."},{"key":"23_CR36","doi-asserted-by":"crossref","unstructured":"Neumaier, A., Schodl, P.: A framework for representing and processing arbitrary mathematics. In: International Conference on Knowledge Engineering and Ontology Development, pp. 476\u2013479 (2010)","DOI":"10.5220\/0003119104760479"},{"key":"23_CR37","unstructured":"Nickel, M., Kiela, D.: Poincare enbeddings for learning hierarchical representations. In: Advances in Neural Information Processing Systems (2017)"},{"key":"23_CR38","unstructured":"Nghiem, M.-Q., Yokoi, K., Matsubayashi, Y., Aizawa, A.: Mining coreference relations between formulas and text using Wikipedia. In: 2nd Workshop on NLP Challenges in the Information Explosion Era, Beijing, pp. 69\u201374 (2010)"},{"key":"23_CR39","unstructured":"Olver, F.W.J., Olde Daalhuis, A.B., Lozier, D.W., Schneider, B.I., Boisvert, R.F., Clark, C.W., Miller, B.R., Saunders, B.V., (eds.): NIST Digital Library of Mathematical Functions. https:\/\/dlmf.nist.gov\/ , Release 1.0.18 of 27 Mar 2018"},{"key":"23_CR40","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1162\/tacl_a_00051","volume":"5","author":"B Piotr","year":"2017","unstructured":"Piotr, B., Grave, E., Joulin, A., Mikolov, T.: Enriching word vectors with subword information. Trans. Assoc. Comput. Linguist. 5, 135\u2013146 (2017)","journal-title":"Trans. Assoc. Comput. Linguist."},{"key":"23_CR41","doi-asserted-by":"crossref","unstructured":"Pennington, J., Socher, R., Manning, C.D.: GloVe: global vectors for word representation. In: The 2014 Conference on Empirical Methods in Natural Language Processing (EMNLP), 25\u201329 October 2014, pp. 1532\u20131543 (2014)","DOI":"10.3115\/v1\/D14-1162"},{"key":"23_CR42","unstructured":"Rudolph, M., Ruiz, F., Athey, S., Blei, D.M.: Structured embedding models for grouped data. In: NIPS, pp. 250\u2013260 (2017)"},{"key":"23_CR43","first-page":"213","volume-title":"Lecture Notes in Computer Science","author":"Ulf Sch\u00f6neberg","year":"2014","unstructured":"Schoneberg, U., Sperber, W.: POS tagging and its applications for mathematics. In: CICM 2014, Coimbra, Portugal, pp. 213\u2013223 (2014)"},{"key":"23_CR44","doi-asserted-by":"crossref","unstructured":"Schubotz, M., Grigorev, A., Leich, M., Cohl, H.S., Meuschke, N., Gippx, B., Youssef, A., Markl, V.: Semantification of identifiers in mathematics for better math information retrieval. In: The 39th Annual ACM SIGIR Conference (SIGIR 2016), Pisa, Italy, pp. 135\u2013144, July 2016","DOI":"10.1145\/2911451.2911503"},{"key":"23_CR45","unstructured":"Sutskever, I., Vinyals, O., Le, Q.V.: Sequence to sequence learning with neural networks. In: NIPS (2014)"},{"issue":"1","key":"23_CR46","first-page":"108","volume":"23","author":"SM Watt","year":"2002","unstructured":"Watt, S.M.: Exploiting implicit mathematical semantics in conversion between TEX and MathML. TUGBoat 23(1), 108 (2002)","journal-title":"TUGBoat"},{"key":"23_CR47","unstructured":"Wolska, M., Grigore, M., Kohlhase, M.: Using discourse context to interpret object-denoting mathematical expressions. In: Towards Digital Mathematics Library, DML workshop, pp. 85\u2013101. Masaryk University, Brno (2011)"},{"key":"23_CR48","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"356","DOI":"10.1007\/978-3-319-62075-6_25","volume-title":"Intelligent Computer Mathematics","author":"A Youssef","year":"2017","unstructured":"Youssef, A.: Part-of-math tagging and applications. In: Geuvers, H., England, M., Hasan, O., Rabe, F., Teschke, O. (eds.) CICM 2017. LNCS (LNAI), vol. 10383, pp. 356\u2013374. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-62075-6_25"}],"container-title":["Lecture Notes in Computer Science","Intelligent Computer Mathematics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-96812-4_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,5]],"date-time":"2025-07-05T21:14:41Z","timestamp":1751750081000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-96812-4_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319968117","9783319968124"],"references-count":48,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-96812-4_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}