@inproceedings{silva-de-carvalho-etal-2024-formal, title = "Formal Semantic Controls over Language Models", author = "Silva de Carvalho, Danilo and Zhang, Yingji and Freitas, Andr{\'e}", editor = "Klinger, Roman and Okazaki, Naozaki and Calzolari, Nicoletta and Kan, Min-Yen", booktitle = "Proceedings of the 2024 Joint International Conference on Computational Linguistics, Language Resources and Evaluation (LREC-COLING 2024): Tutorial Summaries", month = may, year = "2024", address = "Torino, Italia", publisher = "ELRA and ICCL", url = "https://preview.aclanthology.org/add-emnlp-2024-awards/2024.lrec-tutorials.9/", pages = "50--55" }