🎉🎉 Our paper Unlocking Hardware Verification with Oracle Guided Synthesis has been accepted at FMCAD 2025!🎊🎊