Simone
Rossetti
Toggle navigation
about
blog
publications
repositories
cv
ctrl k
abstract-interpretation
an archive of posts with this tag
Mar 13, 2026
Formal Verification for Safe Intelligence: The DeepPoly View