%Aigaion2 BibTeX export from Idiap Publications %Friday 18 April 2025 05:57:21 AM @INPROCEEDINGS{Carvalho_LREC-COLING_2024, author = {Carvalho, Danilo and Zhang, Yingji and Freitas, Andre}, projects = {Idiap}, title = {Formal Semantic Controls over Language Models}, booktitle = {LREC-COLING}, year = {2024} }