b
Discover
Models
Search
About
SEEV: Synthesis with Efficient Exact Verification for ReLU Neural Barrier Functions
2 weeks ago
·
NeurIPS