%Aigaion2 BibTeX export from Idiap Publications
%Sunday 01 February 2026 06:54:50 PM

@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}
}