corpus.blog
41,554 blogs · 5,217,468 posts Claim your blog
Record · corpus.blog/posts/01a08c5c-70a5-729c-a089-d7768d33e213

When "Verified Robust Accuracy" Isn't, Actually, Verified

verse.systems · published 27 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
3,495

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://arxiv.org/abs/2102.08452
arxiv.org
https://en.wikipedia.org/wiki/Formal_verification
en.wikipedia.org
https://en.wikipedia.org/wiki/Lipschitz_continuity
en.wikipedia.org
https://en.wikipedia.org/wiki/Power_iteration
en.wikipedia.org
https://arxiv.org/abs/2305.16173
arxiv.org
https://github.com/klasleino/gloro/issues/8
github.com
https://datascience.stackexchange.com/questions/117983/differentiable-vs-non-differentiable-loss-function-in-ml
datascience.stackexchange.com
https://en.wikipedia.org/wiki/Gradient_descent
en.wikipedia.org
https://en.wikipedia.org/wiki/Adversarial_machine_learning
en.wikipedia.org
https://en.wikipedia.org/wiki/Floating-point_arithmetic
en.wikipedia.org
https://learn.microsoft.com/en-us/cpp/build/why-floating-point-numbers-may-lose-precision?view=msvc-170
learn.microsoft.com
https://github.com/klasleino/gloro/issues/9
github.com
https://en.wikipedia.org/wiki/White_box_(software_engineering
en.wikipedia.org
https://en.wikipedia.org/wiki/Mean_absolute_error
en.wikipedia.org
https://github.com/klasleino/gloro/blob/master/README.md
github.com
https://github.com/klasleino/gloro
github.com
https://github.com/tobycmurray/verified-certified-robustness
github.com
https://github.com/tobycmurray/verified-certified-robustness/blob/main/scripts/adversarial_gloro_normalization.py
github.com
https://github.com/tobycmurray/verified-certified-robustness/blob/main/scripts/adversarial_gloro_floatingpoint.py
github.com
https://github.com/tobycmurray/verified-certified-robustness/blob/main/scripts/adversarial_gloro_neginf_bug.py
github.com
https://github.com/tobycmurray/verified-certified-robustness/blob/main/scripts/attack_gloro_smallweights_bugs.py
github.com
https://github.com/tobycmurray/verified-certified-robustness/blob/main/scripts/misleading_mnist_gloronet.py
github.com
https://github.com/tobycmurray/verified-certified-robustness/blob/main/misleading_mnist_gloronet-results.zip
github.com
https://github.com/tobycmurray/verified-certified-robustness/blob/main/scripts/attack_gloro_neginf_bug.py
github.com
https://zenodo.org/records/15204795
zenodo.org
http://www.arxiv.org/abs/2505.06958
arxiv.org
https://people.eng.unimelb.edu.au/tobym/
people.eng.unimelb.edu.au
Elsewhere on verse.systems (7)