← back to paper

Review history

arxiv: 2603.13334 · 2 revisions

Lipschitz-Based Robustness Certification Under Floating-Point Execution

1. 2026-08-02 CONDITIONAL MODERATE v1.3.0-alltime-deepseek novelty 7.0
   163829 ms 23071 in 17670 out 2026-08-02T18:41:33.764481+00:00
2. 2026-07-15 CONDITIONAL HIGH v1.1.0-grok45 novelty 7.0
   33758 ms 29199 in 3192 out 2026-07-15T14:07:13.524949+00:00