%Aigaion2 BibTeX export from Idiap Publications
%Saturday 07 March 2026 12:51:57 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}
}