Giorgio Dell'Immagine
@g_dellimmagine
Cryptography @zksecurityXYZ - CTFs @fibonhack
514 Following 101 Followers
Today we are releasing
Part of this project is fueled by my deep distrust of LLMs and the fact that they are annoyingly useful. The answer is to make LLMs formally prove their claims!
Try it out, it's fun! ⛳️
Show more
