ENTITY VNN-COMP 2024

VNN-COMP 2024

PulseAugur coverage of VNN-COMP 2024 — every cluster mentioning VNN-COMP 2024 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

TOPICS

SENTIMENT · 30D

1 day(s) with sentiment data

RECENT · PAGE 1/1 · 1 TOTAL

RESEARCH · CL_79608 · Jun 8 · 11:56

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…