ENTITY Claire Pagetti

Claire Pagetti

PulseAugur coverage of Claire Pagetti — every cluster mentioning Claire Pagetti across labs, papers, and developer communities, ranked by signal.

Total · 30d

1

1 over 90d

Releases · 30d

0

0 over 90d

Papers · 30d

1

1 over 90d

TIER MIX · 90D

RECENT · PAGE 1/1 · 1 TOTAL

RESEARCH · CL_06327 · Apr 27 · 12:10

Super-DeepG tool offers precise, efficient neural network robustness certification

Researchers have developed Super-DeepG, a novel method for formally verifying neural networks against geometric perturbations in image datasets. This approach enhances reasoning techniques like linear relaxation and Lip…