ENTITY
ACAS Xu
ACAS Xu
PulseAugur coverage of ACAS Xu — every cluster mentioning ACAS Xu 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
-
New SaBRe framework enhances neural network verification for AI safety
Researchers have developed a new framework called SaBRe that uses a branch-and-bound approach to verify neural networks against relational specifications. This method is crucial for ensuring the safety of AI components …
-
Researchers develop new method for probabilistic verification of neural networks
Researchers have developed a new framework for probabilistically verifying neural networks, addressing the challenge of ensuring safety when inputs are subject to probabilistic disturbances. The method utilizes a state …