%Aigaion2 BibTeX export from Idiap Publications
%Monday 12 January 2026 02:59:51 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}
}