CONF Carvalho_LREC-COLING_2024/IDIAP Formal Semantic Controls over Language Models Carvalho, Danilo Zhang, Yingji Freitas, Andre LREC-COLING 2024