Announcement_7

I am excited to announce that my paper titled “PolyQEnt: A Polynomial Quantified Entailment Solver” has been accepted at ATVA’25.