P. Senellart, TheoremKB: Towards a knowledge base of mathematical results, SinFra Symposium 2019 on Artificial Intelligence, 2019.

X. Ruikai-liu-jorj, . Mckie, and . Pymupdf,

M. Thaer, M. Dieb, S. Yoshioka, M. Hara, and . Newton, Framework for automatic information extraction from research papers on nanocrystal devices, Beilstein journal of nanotechnology, vol.6, issue.1, pp.1872-1882, 2015.

D. Tkaczyk, P. Szostek, M. Fedoryszak, P. J. Dendek, and L. Bolikowski, Cermine: automatic extraction of structured metadata from scientific literature, International Journal on Document Analysis and Recognition (IJDAR), vol.18, issue.4, pp.317-335, 2015.

, GROBID, 2008.

T. Lavergne, O. Cappé, and F. Yvon, Practical very large scale CRFs, Proceedings the 48th Annual Meeting of the Association for Computational Linguistics (ACL), pp.504-513, 2010.

. Delft, , 2018.

J. Lafferty, A. Mccallum, and F. Pereira, Conditional random fields: Probabilistic models for segmenting and labeling sequence data, 2001.

C. Zhu, H. Richard, P. Byrd, J. Lu, and . Nocedal, Algorithm 778: L-bfgs-b: Fortran subroutines for large-scale bound-constrained optimization, ACM Transactions on Mathematical Software (TOMS), vol.23, issue.4, pp.550-560, 1997.

D. Forney, The viterbi algorithm, Proceedings of the IEEE, vol.61, issue.3, pp.268-278, 1973.

S. Sarawagi and . William-w-cohen, Semi-markov conditional random fields for information extraction, Advances in neural information processing systems, pp.1185-1192, 2005.

A. Lance, M. P. Ramshaw, and . Marcus, Text chunking using transformation-based learning, 1995.

I. Sutskever, O. Vinyals, and Q. Le, Sequence to sequence learning with neural networks, Advances in neural information processing systems, pp.3104-3112, 2014.

S. Zheng, S. Jayasumana, B. Romera-paredes, V. Vineet, Z. Su et al., Conditional random fields as recurrent neural networks. In Proceedings of the IEEE international conference on computer vision, pp.1529-1537, 2015.

S. Bai, Z. Kolter, and V. Koltun, An empirical evaluation of generic convolutional and recurrent networks for sequence modeling, 2018.