Louise Bloch, Johannes Rückert, Christoph M. Friedrich. Towards Automatic Formal Feedback on Scientific Documents. In Ekaterina Kochmar, Bashar Alhafni, Marie Bexte, Jill Burstein, Andrea Horbach, Ronja Laarmann-Quante, Anaïs Tack, Victoria Yaneva, Zheng Yuan 0003, editors, Proceedings of the 20th Workshop on Innovative Use of NLP for Building Educational Applications, BEA 2025, Vienna, Austria, July 31 - August 1, 2025. pages 334-344, Association for Computational Linguistics, 2025. [doi]
Abstract is missing.