ENTITY
alpha_beta-CROWN
alpha_beta-CROWN
PulseAugur coverage of alpha_beta-CROWN — every cluster mentioning alpha_beta-CROWN across labs, papers, and developer communities, ranked by signal.
Total · 30d
2
2 over 90d
Releases · 30d
0
0 over 90d
Papers · 30d
2
2 over 90d
TIER MIX · 90D
TOPICS
SENTIMENT · 30D
2 day(s) with sentiment data
RECENT · PAGE 1/1 · 2 TOTAL
-
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…
-
Neural Network Verifier alpha-beta-CROWN Enhances Control Synthesis Safety
Researchers have developed a unified framework to bridge neural network verification with control synthesis, aiming to improve safety in critical systems. The approach utilizes the alpha-beta-CROWN neural network verifi…