%Aigaion2 BibTeX export from Idiap Publications
%Friday 05 December 2025 11:25:59 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}
}