All Artificial, Less Intelligence: GenAI through the Lens of Formal Verification. - Deepak Narayan Gadde; Aman Kumar; Thomas Nalapat; Evgenii Rezunov; Fabio Cappellini (CoRR, 2024)