corpus.blog
41,554 blogs · 4,981,167 posts Claim your blog
Record · corpus.blog/posts/01a08c5c-70a5-729c-a089-d7768c2f472f

Breaking a Verified Certifier

verse.systems · published 16 September 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
32
Words captured
3,415

Cited by

No blog we hold has cited this post yet.

Links from this post

Link
Host
https://arxiv.org/abs/2603.13334
arxiv.org
https://www.arxiv.org/abs/2505.06958
arxiv.org
https://conferences.i-cav.org/2025/
conferences.i-cav.org
https://github.com/tobycmurray/verified-certified-robustness
github.com
https://en.wikipedia.org/wiki/MNIST_database
en.wikipedia.org
https://www.cs.toronto.edu/~kriz/cifar.html
cs.toronto.edu
https://en.wikipedia.org/wiki/Rectified_linear_unit
en.wikipedia.org
https://en.wikipedia.org/wiki/Real_number
en.wikipedia.org
https://en.wikipedia.org/wiki/IEEE_754
en.wikipedia.org
https://github.com/tobycmurray/verified-certified-robustness/blob/main/neural_networks.dfy
github.com
https://en.wikipedia.org/wiki/Irrational_number
en.wikipedia.org
https://pytorch.org/
pytorch.org
https://en.wikipedia.org/wiki/Single-precision_floating-point_format
en.wikipedia.org
https://en.wikipedia.org/wiki/Norm_(mathematics
en.wikipedia.org
https://en.wikipedia.org/wiki/Constraint_satisfaction_problem
en.wikipedia.org
https://en.wikipedia.org/wiki/Satisfiability_modulo_theories
en.wikipedia.org
https://en.wikipedia.org/wiki/Z3_Theorem_Prover
en.wikipedia.org
https://github.com/tobycmurray/verified-certified-robustness/blob/main/scripts/adversarial_verified_certifier_with_z3.py
github.com
https://keras.io/
keras.io
https://arxiv.org/abs/2102.08452
arxiv.org
https://en.wikipedia.org/wiki/Adversarial_machine_learning
en.wikipedia.org
https://github.com/tobycmurray/verified-certified-robustness/blob/main/scripts/attack_verified_certifier_nat.py
github.com
https://arxiv.org/abs/1511.04599
arxiv.org
https://github.com/Trusted-AI/adversarial-robustness-toolbox
github.com
https://github.com/tobycmurray/verified-certified-robustness/blob/main/cav2025-models.zip
github.com
https://en.wikipedia.org/wiki/Subnormal_number
en.wikipedia.org
https://en.wikipedia.org/wiki/Half-precision_floating-point_format
en.wikipedia.org
https://en.wikipedia.org/wiki/Double-precision_floating-point_format
en.wikipedia.org
https://en.wikipedia.org/wiki/Artificial_neural_network
en.wikipedia.org
https://en.wikipedia.org/wiki/Matrix-vector_multiplication
en.wikipedia.org
https://en.wikipedia.org/wiki/Lipschitz_continuity
en.wikipedia.org
https://people.eng.unimelb.edu.au/tobym/
people.eng.unimelb.edu.au
Elsewhere on verse.systems (6)