ENTITY
auto_LiRPA
auto_LiRPA
PulseAugur coverage of auto_LiRPA — every cluster mentioning auto_LiRPA across labs, papers, and developer communities, ranked by signal.
Total · 30d
1
2 over 90d
Releases · 30d
0
0 over 90d
Papers · 30d
1
2 over 90d
TIER MIX · 90D
TOPICS
SENTIMENT · 30D
1 day(s) with sentiment data
RECENT · PAGE 1/1 · 2 TOTAL
-
Neuton framework automates neural network certifier creation
A new framework called Neuton has been developed to automatically translate neuron-level abstract interpreter specifications into tensor-level executables for neural networks. This innovation aims to simplify the creati…
-
AI verification scales with new parallelism techniques
Researchers have adapted tensor parallelism and fully sharded data parallelism techniques, typically used for training large models, to improve the scalability of neural network verification. These methods address the G…