Luis Berlioz

According to our database¹, Luis Berlioz authored at least 3 papers between 2019 and 2026.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2026

The Latent Space of Equational Theories.

[DOI]

CoRR, January, 2026

2021

ArGoT: A Glossary of Terms extracted from the arXiv.

[DOI]

Proceedings of the 9th International Symposium on Symbolic Computation in Software Science, 2021

2019

Creating a Database of Definitions From Large Mathematical Corpora.

[DOI]

Proceedings of the Joint Proceedings of the FMM and LML Workshops, 2019