[Accepted by NeurIPS2024] SEEV: Synthesis with Efficient Exact Verification for ReLU Neural Barrier Functions, Hongchao Zhang, Zhizhen Qin, Sicun Gao, Andrew Clark