Creating a Database of Definitions From Large Mathematical Corpora. - Luis Berlioz (CICM Workshops, 2019)

ArGoT: A Glossary of Terms extracted from the arXiv. - Luis Berlioz (SCSS, 2021)

The Latent Space of Equational Theories. - Luis Berlioz; Paul-André Melliès (CoRR, 2026)