%Aigaion2 BibTeX export from Idiap Publications
%Wednesday 17 June 2026 02:16:37 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}
}