One paper accepted by DAC 2025!

Our work: “Efficient Continuous Logic Optimization with Diffusion Model” has been accepted by DAC 2025!

Congratulations! 🎉