Lucy Horowitz

According to our database, Lucy Horowitz authored at least 3 papers between 2023 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Exploring proof autoformalization with Mistral on Herald.

Lucy Horowitz, Michail Karatarakis, Xuandi Ren, Alejandro Sanchez Ocegueda

Proceedings of the Intelligent Computer Mathematics - 18th International Conference, 2025

2024

Fine-Tuning BERTs for Definition Extraction from Mathematical Text.

Lucy Horowitz, Ryan Hathaway

CoRR, 2024

2023

MathGloss: Building mathematical glossaries from text.

Lucy Horowitz, Valeria de Paiva

CoRR, 2023