@inproceedings{bloch-etal-2025-towards,
    title = "Towards Automatic Formal Feedback on Scientific Documents",
    author = {Bloch, Louise  and
      R{\"u}ckert, Johannes  and
      Friedrich, Christoph},
    editor = {Kochmar, Ekaterina  and
      Alhafni, Bashar  and
      Bexte, Marie  and
      Burstein, Jill  and
      Horbach, Andrea  and
      Laarmann-Quante, Ronja  and
      Tack, Ana{\"i}s  and
      Yaneva, Victoria  and
      Yuan, Zheng},
    booktitle = "Proceedings of the 20th Workshop on Innovative Use of NLP for Building Educational Applications (BEA 2025)",
    month = jul,
    year = "2025",
    address = "Vienna, Austria",
    publisher = "Association for Computational Linguistics",
    url = "https://preview.aclanthology.org/acl25-workshop-ingestion/2025.bea-1.26/",
    pages = "334--344",
    ISBN = "979-8-89176-270-1"
}