@inproceedings(aly-etal-2019-every,
 author       = {Rami Aly and Shantanu Acharya and Alexander Ossa and Arne K{\"o}hn and Chris Biemann and Alexander Panchenko},
 year         = {2019},
 title        = {Every Child Should Have Parents: A Taxonomy Refinement Algorithm Based on Hyperbolic Term Embeddings},
 booktitle    = {Proceedings of the 57th Annual Meeting of the Association for Computational Linguistics},
 publisher    = {Association for Computational Linguistics},
 address      = {Florence, Italy},
 pages        = {4811--4817},
 doi          = {10.18653/v1/P19-1474},
)
@inproceedings(DBLP:conf/mkm/Berlioz19,
 author       = {Luis Berlioz},
 year         = {2019},
 title        = {Creating a Database of Definitions From Large Mathematical Corpora},
 editor       = {Edwin C. Brady and James H. Davenport and William M. Farmer and Cezary Kaliszyk and Andrea Kohlhase and Michael Kohlhase and Dennis M{\"{u}}ller and Karol Pak and Claudio Sacerdoti Coen},
 booktitle    = {Joint Proceedings of the {FMM} and {LML} Workshops, Doctoral Program and Work in Progress at the Conference on Intelligent Computer Mathematics 2019 co-located with the 12th Conference on Intelligent Computer Mathematics {(CICM} 2019), Prague, Czech Republic, July 8-12, 2019},
 series       = {{CEUR} Workshop Proceedings},
 volume       = {2634},
 publisher    = {CEUR-WS.org},
 url          = {http://ceur-ws.org/Vol-2634/WiP2.pdf},
)
@book(DBLP:books/daglib/0022921,
 author       = {Steven Bird and Ewan Klein and Edward Loper},
 year         = {2009},
 title        = {Natural Language Processing with Python},
 publisher    = {O'Reilly},
 url          = {http://www.oreilly.de/catalog/9780596516499/index.html},
)
@article(cohenkappa,
 author       = {Jacob Cohen},
 year         = {1960},
 title        = {A Coefficient of Agreement for Nominal Scales},
 journal      = {Educational and Psychological Measurement},
 volume       = {20},
 number       = {1},
 pages        = {37--46},
 doi          = {10.1177/001316446002000104},
)
@inproceedings(DBLP:conf/naacl/DevlinCLT19,
 author       = {Jacob Devlin and Ming{-}Wei Chang and Kenton Lee and Kristina Toutanova},
 year         = {2019},
 title        = {{BERT:} Pre-training of Deep Bidirectional Transformers for Language Understanding},
 editor       = {Jill Burstein and Christy Doran and Thamar Solorio},
 booktitle    = {Proceedings of the 2019 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, {NAACL-HLT} 2019, Minneapolis, MN, USA, June 2-7, 2019, Volume 1 (Long and Short Papers)},
 publisher    = {Association for Computational Linguistics},
 pages        = {4171--4186},
 doi          = {10.18653/v1/n19-1423},
)
@incollection(wordnet,
 author       = {Christiane Fellbaum},
 year         = {2010},
 title        = {WordNet},
 booktitle    = {Theory and applications of ontology: computer applications},
 publisher    = {Springer},
 pages        = {231--243},
 doi          = {10.1093/ijl/17.2.161},
)
@article(DBLP:journals/tse/GansnerKNV93,
 author       = {Emden R. Gansner and Eleftherios Koutsofios and Stephen C. North and Kiem{-}Phong Vo},
 year         = {1993},
 title        = {A Technique for Drawing Directed Graphs},
 journal      = {{IEEE} Trans. Software Eng.},
 volume       = {19},
 number       = {3},
 pages        = {214--230},
 doi          = {10.1109/32.221135},
)
@inproceedings(DBLP:conf/icms/GinevIJKKOSSTW16,
 author       = {Deyan Ginev and Mihnea Iancu and Constantin Jucovschi and Andrea Kohlhase and Michael Kohlhase and Akbar Oripov and J{\"{u}}rgen Schefter and Wolfram Sperber and Olaf Teschke and Tom Wiesing},
 year         = {2016},
 title        = {The SMGloM Project and System: Towards a Terminology and Ontology for Mathematics},
 editor       = {Gert{-}Martin Greuel and Thorsten Koch and Peter Paule and Andrew J. Sommese},
 booktitle    = {Mathematical Software - {ICMS} 2016 - 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {9725},
 publisher    = {Springer},
 pages        = {451--457},
 doi          = {10.1007/978-3-319-42432-3\_58},
)
@article(Deyan1,
 author       = {Deyan Ginev and Bruce R. Miller},
 year         = {2019},
 title        = {Scientific Statement Classification over arXiv.org},
 journal      = {CoRR},
 volume       = {abs/1908.10993},
 url          = {http://arxiv.org/abs/1908.10993},
)
@inproceedings(hearst-1992-automatic,
 author       = {Marti A. Hearst},
 year         = {1992},
 title        = {Automatic Acquisition of Hyponyms from Large Text Corpora},
 booktitle    = {{COLING} 1992 Volume 2: The 14th {I}nternational {C}onference on {C}omputational {L}inguistics},
 doi          = {10.3115/992133.992154},
)
@article(DBLP:journals/corr/HuangXY15,
 author       = {Zhiheng Huang and Wei Xu and Kai Yu},
 year         = {2015},
 title        = {Bidirectional {LSTM-CRF} Models for Sequence Tagging},
 journal      = {CoRR},
 volume       = {abs/1508.01991},
 url          = {http://arxiv.org/abs/1508.01991},
)
@inproceedings(DBLP:conf/cikm/KaliszykKMR16,
 author       = {Cezary Kaliszyk and Michael Kohlhase and Dennis M{\"{u}}ller and Florian Rabe},
 year         = {2016},
 title        = {A Standard for Aligning Mathematical Concepts},
 editor       = {Andrea Kohlhase and Paul Libbrecht and Bruce R. Miller and Adam Naumowicz and Walther Neuper and Pedro Quaresma and Frank Wm. Tompa and Martin Suda},
 booktitle    = {Joint Proceedings of the FM4M, MathUI, and ThEdu Workshops, Doctoral Program, and Work in Progress at the Conference on Intelligent Computer Mathematics 2016 co-located with the 9th Conference on Intelligent Computer Mathematics {(CICM} 2016), Bialystok, Poland, July 25-29, 2016},
 series       = {{CEUR} Workshop Proceedings},
 volume       = {1785},
 publisher    = {CEUR-WS.org},
 pages        = {229--244},
 url          = {http://ceur-ws.org/Vol-1785/W24.pdf},
)
@article(word2vec,
 author       = {Tom{\'{a}}s Mikolov and Ilya Sutskever and Kai Chen and Greg Corrado and Jeffrey Dean},
 year         = {2013},
 title        = {Distributed Representations of Words and Phrases and their Compositionality},
 journal      = {CoRR},
 volume       = {abs/1310.4546},
 doi          = {10.5555/2999792.2999959},
)
@inproceedings(DBLP:conf/nips/NickelK17,
 author       = {Maximilian Nickel and Douwe Kiela},
 year         = {2017},
 title        = {Poincar{\'{e}} Embeddings for Learning Hierarchical Representations},
 editor       = {Isabelle Guyon and Ulrike von Luxburg and Samy Bengio and Hanna M. Wallach and Rob Fergus and S. V. N. Vishwanathan and Roman Garnett},
 booktitle    = {Advances in Neural Information Processing Systems 30: Annual Conference on Neural Information Processing Systems 2017, December 4-9, 2017, Long Beach, CA, {USA}},
 pages        = {6338--6347},
 url          = {https://proceedings.neurips.cc/paper/2017/hash/59dfa2df42d9e3d41f5b02bfc32229dd-Abstract.html},
)
@article(DBLP:journals/jmlr/PedregosaVGMTGBPWDVPCBPD11,
 author       = {Fabian Pedregosa and Ga{\"{e}}l Varoquaux and Alexandre Gramfort and Vincent Michel and Bertrand Thirion and Olivier Grisel and Mathieu Blondel and Peter Prettenhofer and Ron Weiss and Vincent Dubourg and Jake VanderPlas and Alexandre Passos and David Cournapeau and Matthieu Brucher and Matthieu Perrot and Edouard Duchesnay},
 year         = {2011},
 title        = {Scikit-learn: Machine Learning in Python},
 journal      = {J. Mach. Learn. Res.},
 volume       = {12},
 pages        = {2825--2830},
 url          = {http://dl.acm.org/citation.cfm?id=2078195},
)
@inproceedings(DBLP:conf/emnlp/PenningtonSM14,
 author       = {Jeffrey Pennington and Richard Socher and Christopher D. Manning},
 year         = {2014},
 title        = {Glove: Global Vectors for Word Representation},
 editor       = {Alessandro Moschitti and Bo Pang and Walter Daelemans},
 booktitle    = {Proceedings of the 2014 Conference on Empirical Methods in Natural Language Processing, {EMNLP} 2014, October 25-29, 2014, Doha, Qatar, {A} meeting of SIGDAT, a Special Interest Group of the {ACL}},
 publisher    = {{ACL}},
 pages        = {1532--1543},
 doi          = {10.3115/v1/d14-1162},
)
@inproceedings(DBLP:conf/iclr/TifreaBG19,
 author       = {Alexandru Tifrea and Gary B{\'{e}}cigneul and Octavian{-}Eugen Ganea},
 year         = {2019},
 title        = {Poincare Glove: Hyperbolic Word Embeddings},
 booktitle    = {7th International Conference on Learning Representations, {ICLR} 2019, New Orleans, LA, USA, May 6-9, 2019},
 publisher    = {OpenReview.net},
 url          = {https://openreview.net/forum?id=Ske5r3AqK7},
)
@inproceedings(wang-etal-2017-short,
 author       = {Chengyu Wang and Xiaofeng He and Aoying Zhou},
 year         = {2017},
 title        = {A Short Survey on Taxonomy Learning from Text Corpora: Issues, Resources and Recent Advances},
 booktitle    = {Proceedings of the 2017 Conference on Empirical Methods in Natural Language Processing},
 publisher    = {Association for Computational Linguistics},
 address      = {Copenhagen, Denmark},
 pages        = {1190--1203},
 doi          = {10.18653/v1/D17-1123},
)