corpus.blog
41,554 blogs · 5,063,431 posts Claim your blog
Record · corpus.blog/posts/01a08c5c-70a5-729c-a089-d7768db51dfb

Verified or Certified Robustness? Why don't we have both?

verse.systems · published 5 June 2025

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at verse.systems Wayback capture
0blogs citing
First cited
—
Most recent
—
Rank this month
not ranked
External links
30
Words captured
2,099

Cited by

No blog we hold has cited this post yet.

Links from this post

Link
Host
https://www.arxiv.org/abs/2505.06958
arxiv.org
https://conferences.i-cav.org/2025/
conferences.i-cav.org
https://arxiv.org/abs/2603.13334
arxiv.org
https://en.wikipedia.org/wiki/Festivus
en.wikipedia.org
https://en.wikipedia.org/wiki/Formal_methods
en.wikipedia.org
https://www.galois.com/what-are-formal-methods
galois.com
https://en.wikipedia.org/wiki/Correctness_(computer_science
en.wikipedia.org
https://en.wikipedia.org/wiki/Non-functional_requirement
en.wikipedia.org
https://arxiv.org/abs/1412.6572
arxiv.org
https://www.image-net.org/
image-net.org
https://en.wikipedia.org/wiki/Lp_space
en.wikipedia.org
https://en.wikipedia.org/wiki/Euclidean_distance
en.wikipedia.org
https://en.wikipedia.org/wiki/Structured_programming
en.wikipedia.org
https://en.wikipedia.org/wiki/Hoare_logic
en.wikipedia.org
https://arxiv.org/abs/1702.01135
arxiv.org
https://en.wikipedia.org/wiki/Satisfiability_modulo_theories
en.wikipedia.org
https://ieeexplore.ieee.org/document/8418593
ieeexplore.ieee.org
https://en.wikipedia.org/wiki/Abstract_interpretation
en.wikipedia.org
https://en.wikipedia.org/wiki/Symbolic_artificial_intelligence
en.wikipedia.org
https://openreview.net/forum?id=zWy1uxjDdZJ
openreview.net
https://en.wikipedia.org/wiki/%22Hello,_World!%22_program
en.wikipedia.org
https://en.wikipedia.org/wiki/MNIST_database
en.wikipedia.org
https://arxiv.org/abs/2102.08452
arxiv.org
https://catch-muri.org/
catch-muri.org
https://mattfredrikson.com/
mattfredrikson.com
https://en.wikipedia.org/wiki/Certificate_(complexity
en.wikipedia.org
https://en.wikipedia.org/wiki/Power_iteration
en.wikipedia.org
https://www.kaggle.com/datasets/zalando-research/fashionmnist
kaggle.com
https://www.cs.toronto.edu/~kriz/cifar.html
cs.toronto.edu
https://alastairreid.github.io/RelatedWork/notes/auto-active-verification/
alastairreid.github.io
Elsewhere on verse.systems (7)