SEEV: Synthesis with Efficient Exact Verification for ReLU Neural Barrier Functions

Devs

SEEV: Synthesis with Efficient Exact Verification for ReLU Neural Barrier Functions | Read Paper on Bytez